That is very quick---thanks, Erik! I just tried out the patch on Bell
Labs Plan 9, and it works fine.

Mark.

Reply via email to