[MariaDB commits] [PATCH] Catalogs: replicate single catalog from catalog-enabled master