MDEV-11233 has been closed as fixed but the bug is present on the latest version of MariaDB 10.0 (which actually is a regression, it didn't happen in previous versions- 10.0.23).
This is crashing wikimedia servers hard. See: https://phabricator.wikimedia.org/T156373
I can probably backport your 10.1 patch, no problem with that, but if I do would you maintain it for future releases? Will there be more MariaDB 10.0 releases?