mirror of
https://github.com/MariaDB/server.git
synced 2025-08-26 01:44:06 +03:00

they got lost because of a merge conflict with the CMakeLists.txt dependency fix (numer 29982 in our bugs DB). These changes are for bug#30118.