On 06/05/14 at 10:02pm, Ben Pfaff wrote: > recirc_id_pool_create() allocates memory but recirc_id_pool_destroy() did > not destroy it. > > Found by valgrind. > > Signed-off-by: Ben Pfaff <blp at nicira.com> Acked-by: Thomas Graf <tgraf at suug.ch>