Re: /dev/console switching : fix: term doesn't copy arg for outputdevice.

[Roland McGrath]

Thanks, I've put in a similar fix.


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