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