> So there are still some details to work out. Like, should ports be reused > if they specify the same set if permission? I think that would be a good > idea, but it is costly to make the comparison, and is probably overkill.
Definitely overkill. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
