I took a bit of liberty, and have commited Jeroen's patch. I hope nobody minds to much; if something wasn't done correctly it can always be fixed.
Oh, and I'm of for a vacation! :-) _______________________________________________ Bug-inetutils mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-inetutils
