19.05.x: Make MariaDB 10.1 the default
That will make the CI stop using MySQL 5.5 by default for all 19.05.x builds. And match closer the actual system recommendations.
That will make the CI stop using MySQL 5.5 by default for all 19.05.x builds. And match closer the actual system recommendations.