[MariaDB announce] MariaDB 11.7.2 and MariaDB 11.8.1 now available