MariaDB 5.1 end of life

2015-02-01T23:59:59+00:00

MariaDB 5.1 is end-of-life.