For me that the SSH access works fine, but the HTTP access times out.
Manuel
On 19/03/2024 22:04, Makarius wrote:
On 19/03/2024 12:50, Lawrence Paulson wrote:
Are others able to reach this machine and use Mercurial as usual?
It looks fine for me, but I think I had to tinker with the ssh setup a
few days ago: like resetting the entry for lxbroy10 in ~/.ssh/known_hosts
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev