[MariaDB Packagers] MariaDB 10.2.19 release prep

Prep work for the MariaDB 10.2.19 release has begun. Expected release date is Tue 13 Nov 2018. Draft release notes and changelog: - https://mariadb.com/kb/en/mdb-10219-rn/ - https://mariadb.com/kb/en/mdb-10219-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