Re: gnu-20011016.tar.gz available

[Roland McGrath]

I'd hoped this thread would disappear or at least be properly separated
from the original (unrelated) question about serverboot.  If people want to
ask about diskless booting, please start a thread on that subject.  (I think
I have already thought about all the relevant details.)