[debian-mysql] Bug#843844: Potentially missing files from mariadb-10.0 packages

[Ian Gilfillan]

On 10/11/2016 09:25, Otto Kekäläinen wrote:
> - usr/bin/mysqlbug should NOT be included, as it is a tool to submit
> bugs to Oracle
mysqlbug has been removed in MariaDB 10.2, and can probably be removed 
here too:
https://jira.mariadb.org/browse/MDEV-8654
> - mytop maybe?
It looks like MariaDB have already removed mytop from their .deb packages:
https://lists.launchpad.net/maria-developers/msg05472.html