[Maria-developers] [Branch ~maria-captains/maria/5.1] Rev 2760: Merge Mysql 5.1.39 merge into MariaDB trunk