[julia-users] Juliabox down?

[Lars Ruthotto]

Dear all, 

I just noticed that Juliabox doesn't work right now. Is there an expected 
maintenance going on and does anybody know when it will be back?

Thanks,
Lars