[Maria-developers] [Branch ~maria-captains/maria/5.1] Rev 2800: Merge MySQL 5.1.42 and XtraDB 9 into MariaDB trunk, after fixing test failures.