[Maria-developers] Merging MySQL 5.1.39 into MariaDB