On Tue, Nov 19, 2024 at 4:29 PM Francesco Negri fnegri@wikimedia.org wrote:
Next Monday, November 25th, at around 13:00 UTC, ToolsDB will be upgraded from MariaDB v10.4.29 to MariaDB v10.6.19. [0]
This upgrade is happening today starting at 13:00 UTC (in one hour from now).