File bugs at bugs.debian.org

[ottok]

This is not a real bug report, just a reminder that this repo is a mirror of the git.debian.org repository. Overall status of MariaDB 10.0 in Debian is visible at https://tracker.debian.org/pkg/mariadb-10.0

All discussions should be carried on the Debian pkg-mysql-maint mailing list and bugs filed at bugs.debian.org.