And to make it clear to everyone else, Thomas is not the maintainer, nor an active developer of the Hurd. And has absolutley no say in this matter what so ever.
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd