josm.openstreetmap.de on ipv6 is dead for months now

[Peter Gervai]

Hello,

It seems irc doesn't work, so let me try it here, again.

Anyone knows if the ipv6 access to josm.openstreetmap.de would be
fixed? It is unreachable for a long time now, and does not seem to be
either noticed or fixed.

josm.openstreetmap.de.  3032    IN      AAAA    2a01:4f9:2b:907::2

--- josm.openstreetmap.de ping statistics ---
5 packets transmitted, 0 received, 100% packet loss, time 4102ms

Thanks,
Peter

ps: please cc any replies on me, thanks!