Thanks, merged. Ethan On Thu, Jun 13, 2013 at 12:57 PM, Ben Pfaff <blp at nicira.com> wrote: > On Thu, Jun 13, 2013 at 12:53:52PM -0700, Ethan Jackson wrote: >> Signed-off-by: Ethan Jackson <ethan at nicira.com> > > Good catch, thanks.