(Note: this was already reported some time ago, but didn't get recorded on savannah for some reason I'm lazy to find out :) ).
_______________________________________________ Bug-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-hurd
