Package: release.debian.org Severity: normal Tags: stretch User: release.debian.org@packages.debian.org Usertags: rm Please age mysql-defaults (for the switch to mariadb-10.1) and remove mariadb-10.0 from testing. Thanks Andreas