[MariaDB Packagers] MariaDB 10.0.23 release prep

FYI, prep work for the MariaDB 10.0.23 release has begun. Expected release date will be Friday, 18 Dec 2015. Draft release notes and changelog: - https://mariadb.com/kb/en/mariadb-10023-release-notes/ - https://mariadb.com/kb/en/mariadb-10023-changelog/ As usual, the release notes and changelog pages are not yet final and will be updated prior to release. -- Daniel Bartholomew, MariaDB Release Manager MariaDB | http://mariadb.com