[Box-Admins] Re: [squeak-dev] Source.squeak.org hangs

Chris Cunnington brasspen at gmail.com
Thu May 22 13:29:02 UTC 2014

Yes. Please do. Mailman also looks to be hung, so perhaps you could restart box2 entirely. 
And for what it's worth, I'd say in future you don't have to ask. 


On May 22, 2014, at 8:03 AM, Tobias Pape <Das.Linux at gmx.de> wrote:

> (see subject)
> shall I just restart it?
> Best
> 	-Tobias

More information about the Box-Admins mailing list