Being this the situation (Mach hacking considered a waste of time), Jose's idea of having separate mantainers for GNU Mach and GNU Mig becomes IMHO something that should really be taken seriously into discussion.
Maintaining and adding new features are different things. If/When Ser4gio has patches, that are useful, and work, then they _will_ be applied. Seriously, people should stop fretting about patches getting applied and just shut up and hack. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
