Bug#914172: [debian-mysql] Bug#914172: mariadb-server-10.1: mariadb-server sec-update (10.1.37-0+deb9u1) uninstalls default-mysql-server, mysql-server, mariadb-server-10.1 & mariadb-client-10.1

[Otto Kekäläinen]

Hello!

This change was done by Ondrej Sury. I don't have any more information
about it other than what the commit messages say.