Bug#850682: mariadb-10.0: segmentation fault after killing a query blocked on disk space availability

[Apollon Oikonomopoulos]

Apparently this is MySQL bug #69926[1], affecting MariaDB/MySQL from 5.1 
up to 10.0/5.6.

[1] https://bugs.mysql.com/bug.php?id=69926