[Maria-developers] [Branch ~maria-captains/maria/5.1] Rev 2812: Automerge MariaDB 5.1.42 release branch into main.

Merge authors: Kristian Nielsen (knielsen) ------------------------------------------------------------ revno: 2812 [merge] committer: knielsen@knielsen-hq.org branch nick: work-5.1 timestamp: Sun 2010-01-31 16:36:03 +0100 message: Automerge MariaDB 5.1.42 release branch into main. modified: libmysqld/CMakeLists.txt -- lp:maria https://code.launchpad.net/~maria-captains/maria/5.1 Your team Maria developers is subscribed to branch lp:maria. To unsubscribe from this branch go to https://code.launchpad.net/~maria-captains/maria/5.1/+edit-subscription.