Re: Buffer freed too early in serverboot

[Roland McGrath]

I put some changes into boot/boot_script.c that might fix this.


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