Re: GNU Mach / Debian patches

[Alfred M. Szmidt]

Exactly.


_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd