Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix mariadb CI broken by upstream (#1443)
Upstream MariaDB's tip of main broke our integration CI with MariaDB/server@2bc940f. I pinned this down to us not building in the functionality during the MariaDB compilation step. This reenables the functionality to get around the broken CI.
- Loading branch information