[Maria-developers] feedback on proposed fix to MySQL bug 57430