The debdiff for 10.0.20 is attached to https://bugs.launchpad.net/ubuntu/+source/mariadb-10.0/+bug/1451677 and uploading 10.0.20 will close both that and this issue.
The debdiff for 10.0.20 is attached to https:/ /bugs.launchpad .net/ubuntu/ +source/ mariadb- 10.0/+bug/ 1451677 and uploading 10.0.20 will close both that and this issue.