This is a maintenance and bugfix release that upgrades MariaDB to
the latest 5.5.41 version which resolves various upstream bugs.