MariaDB 5.5.57, 10.0.31, 10.1.25, 10.2.7 available

Releases of MariaDB 5.5.57, 10.0.31, 10.1.25, 10.2.7 (Issue #293) are now available.
You can find links to download these releases on the MariaDB page.