(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 Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
