MariaDB 10.1.13 is now available

[Erulezz]

Release notes;

https://mariadb.com/kb/en/mariadb/mariadb-10113-release-notes/

Full changelog;

https://mariadb.com/kb/en/mariadb/mariadb-10113-changelog/