Mark van Atten Fri, 22 Nov 2013 07:00:05 -0800
That is very quick---thanks, Erik! I just tried out the patch on Bell Labs Plan 9, and it works fine.
Mark.