Hallo, der Umzug ist abgeschlossen. Es gab keine Bugfixes oder Erweiterungen, diese kommen mit dem nächsten RC.
Wer von euch immer noch den alten Server sieht, kann mal “dsnflush” machen – sollte das auch nicht helfen empfehle ich kurzfristig/vorübergehend einen anderen DNS-server zu nutzen (vorzugsweise keinen von eurem Provider).