On 24/03/2020 10:02, Thomas Stüfe wrote: > Hi, > > hg.openjdk.java.net gives us a HTTP 502 "bad gateway". Is it only us in > Germany? There does seem to be a problem right now with both http and https. ssh seems to be working. -Alan