Am 11.7. zwischen ca. 21.00 und 23.00 Uhr (MEZ) werden routinemäßige Wartungsarbeiten an den Servern durchgeführt.
Insbesondere wird die aktuelle Version von Mariadb aktualisiert.
Während dieser Zeit kann es zu kurzzeitigen und vereinzelten Database-Störungen von ca. 15 Minuten Dauer kommen.