[EMAIL PROTECTED] (Alfred M. Szmidt) writes:

> * Thomas Bushnell, BSG writes:
> > This is totally wrong.  Remove /servers/startup.  The startup.defs
> > interface is by no means gone.
> 
> Oh, then there is nothing to do, as /servers/startup is not created
> at all.

Yes, but we should remove the mention from the header file.

_______________________________________________
Help-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/help-hurd

Reply via email to