Hi all, currently I get
$ ssh://[email protected]/isa-afp/afp-devel pushing to ssh://[email protected]/isa-afp/afp-devel remote: remote: remote: remote: ======================================================================== remote: remote: remote: remote: Internal API error (502) remote: remote: remote: remote: ======================================================================== remote: remote: abort: no suitable response from remote hg! Somebody else experiencing similar problems? Cheers, Florian
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
