MariaDB crashed Thursday 17th August 2023 10:10:00

MariaDB on helin.uberspace.de crashed. It was restarted successfully at 11:50 CEST.