Hi all,
JFYI: For a couple of days, *.osmocom.org is reachable via IPv6.
I've had native IPv6 at my co-located servers for more than 10 years, but somehow never configured it for the virtual machines like *.osmocom.org - this is now fixed.
If you encounter any difficulties, please let me know.
Regards, Harald