DokuWiki on Nostr: Seems like the MariaDB database on the dokuwiki.org server crashed yesterday evening, ...

Seems like the MariaDB database on the dokuwiki.org server crashed yesterday evening, taking down the forum. Since our wiki authenticates against the forum database it was also down.
It seems the database ran out of space on /tmp for some reason, which is weird because there like 60GB available...
Anyway everything is up again, tables are repaired, so hopefully all is well again.