Bug#840857: [debian-mysql] Bug#840857: mariadb-server: MariaDB 10.1?

[Otto Kekäläinen]

MariaDB 10.1 has now been submitted to the NEW queue:
https://ftp-master.debian.org/new/mariadb-10.1_10.1.20-1.html