[Maria-developers] Tools/suggestions for MySQL 5.6 merge