MariaDB 10.1 end of life

2020-10-17T23:59:59+00:00

MariaDB 10.1 is end-of-life.