> Well, I think that the exec server should remove EXECSERVERS, on the > ground that it's the exec server that knows about the feature too.
That's what I was saying in the first place. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
