[MariaDB Packagers] MariaDB 10.2.20 release prep

Prep work for the MariaDB 10.2.20 release has begun. Expected release date is Monday 24 Dec 2018. Draft release notes and changelog: - https://mariadb.com/kb/en/mdb-10220-rn/ - https://mariadb.com/kb/en/mdb-10220-cl/ As usual, the release notes and changelog are still in draft form at this time and will be updated prior to release. Thanks. -- Daniel Bartholomew, MariaDB Release Manager MariaDB | https://mariadb.com