Sergio Lopez <[EMAIL PROTECTED]> writes: > Alfred, Thomas, I don't know if your getting fun of this, but I think it > isn't funny at all. Please keep serious. > > 1.- Although everybody use gnumach-1-branch, HEAD is oskit-branch. This > maybe wrong, but it's a maintainer's decission.
Right. If we want to change this, we could. It would require a discussion about whether the oskit branch, which had always been intended for the next major release, is to be declared dead (or put on the long-term back burner). If we make such a decision, then we can rearrange the branches. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd