No incidents reported
Following MariaDB's patch release and the updating of repositories accordingly, we have not received any further reports of MariaDB issues in several days. We are therefore considering this issue fixed.