[isabelle-dev] AFP hg down?

[Jasmin Christian Blanchette]

Hi all,

For the last three hours or so, the AFP Mercurial repository has been unresponsive for me, "hanging" after:

    $ hg out
    comparing with ssh://blanchette@hg.code.sf.net/p/afp/code

or any other "hg" command requiring the server. :S

Jasmin