If you want it to become HEAD, that's a reasonable thing to want, and we could discuss it.
So lets do that, what are the reasons not to do so? Nobody as far as I know is willing to maintain what is now in HEAD, there are people willing to maintain what is now in gnumach-1-branch. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
