In data 7/11 tra le ore 21 e le ore 23 circa (CET), verrà effettuata una manutenzione ordinaria sui server.
In particolare, verrà aggiornata l'attuale versione di Mariadb.
Durante tale periodo potrebbero verificarsi dei momentanei e isolati disservizi al database della durata di circa 15 minuti.