On Thu, Oct 27, 2011 at 05:05:33PM -0700, Ethan Jackson wrote: > This patch fixes the issue and adds a test which would have caught > it. > > Reported-by: Michael Mao <mmao at nicira.com> > Bug #8045. Looks good to me.