MariaDB disruption on opal5 Saturday 21st February 2026 14:11:29

The MariaDB service on opal5 went down approximately 3 hours ago due to a problem with the InnoDB store. We've corrected that and the service is now operational. We'll continue to monitor for problems.