mirror of
https://github.com/MariaDB/server.git
synced 2025-05-07 04:01:59 +03:00
configure.in needs to be updated and configure needs to be recreated for the build to succed
configure.in needs to be updated and configure needs to be recreated for the build to succed