[Maria-developers] On whether BUG#920132 is repeatable in mysql-5.6