[debian-mysql] Bug#914172: Bug#914172: Bug#914172: Bug#914172: 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

[Faustin Lammler]

> This, plus the restriction in the apt command to only use security sources,
> makes dist-upgrade remove any package with a failed dependency.
Thanks David for this (and Olaf for your initial guess), it is now clear to me
what happened.

Let me check with Otto why this new dependence was added.

Regards,
Faustin