[Magiclantern-devel] svn down?

[Joshua P. L. <jo...@jo...>]

I have not been able to connect to the subversion server recently. Can
anyone confirm it is down or know when it will be back up?