[Maria-developers] [Branch ~maria-captains/maria/5.1] Rev 2761: Merge 5.1-release branch into MariaDB trunk.