[Maria-developers] Diff for stuff from MySQL 5.1.38 not yet included in the merge