What was the reason for disabling EXECSERVERS in exec? I think that it is quite an useful feature when debugging exec, or playing around with new features for it.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
