On Thu, Feb 3, 2011 at 6:25 PM, Jesse Gross <jesse at nicira.com> wrote: > These types are no longer used, are redundantly defined, and were > cluttering our interface header. > > Signed-off-by: Jesse Gross <jesse at nicira.com> Acked-by: Ben Pfaff <blp at nicira.com> I didn't verify that these are no longer used.