[debian-mysql] Bug#841345: Bug#841345: Bug#841345: mysql-server-5.7: Unable to switch from mariadb to mysql, "downgrade" is aborted

[Robie Basak]

On Wed, Oct 19, 2016 at 03:46:11PM -0300, Felipe Sateler wrote:
> Then mysql and mariadb should not share the /var/lib/mysql directory,
> and instead there should be a command to offer trying to "seed" the db
> using the other database's files.

I agree. This is my proposed solution to the problem (but I still need
to write the code so that it can be discussed).