Also looks good, thanks.
Should we also update debian/changelog at the same time? I see that has not been our practice in the past, but I don't know why we shouldn't. _______________________________________________ dev mailing list dev@openvswitch.org http://openvswitch.org/mailman/listinfo/dev