sl Thu, 21 Aug 2014 08:52:39 -0700
> Please someone reboot the Plan9 server. Which server?
Why reboot it? sl
