Re: Remove GNU Mach's unused device drivers

[Alfred M\. Szmidt]

If you make a tag before and after the removal then go for it.


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