[MariaDB Packagers] MariaDB 10.1.20 release prep

FYI, prep work for the MariaDB 10.1.20 release has begun. Expected release date will be Thu, 15 Dec 2016. Draft release notes and changelog: - https://mariadb.com/kb/en/mariadb-10120-release-notes/ - https://mariadb.com/kb/en/mariadb-10120-changelog/ As usual, the release notes and changelog are not yet final and may be updated prior to release. -- Daniel Bartholomew, MariaDB Release Manager MariaDB | http://mariadb.com