MariaDB 10.0 end of life

2019-03-31T23:59:59+00:00

MariaDB 10.0 is end-of-life.