merged - https://github.com/MariaDB/server/pull/2995
- Bug#1060056: mariadb-server: mariadb-hotcopy fails for p... Paul Szabo
- Bug#1060056: mariadb-server: mariadb-hotcopy fails ... Otto Kekäläinen
- Bug#1060056: mariadb-server: mariadb-hotcopy fa... Paul Szabo
- Bug#1060056: mariadb-server: mariadb-hotcop... Paul Szabo
- Bug#1060056: mariadb-server: mariadb-ho... Paul Szabo
- Bug#1060056: mariadb-server: maria... Otto Kekäläinen
- Bug#1060056: Daniel Black
