Forwarded: https://lists.launchpad.net/maria-discuss/msg06508.html
I noticed that this was originally reported in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1031773 but with so few details that it did not lead into a deeper investigation at that time.
