[Maria-developers] [Branch ~maria-captains/maria/5.1] Rev 2791: Merge MariaDB 5.1.41-rc release into main, bumping configure.in version number.