mirror of
https://github.com/MariaDB/server.git
synced 2025-12-24 11:21:21 +03:00
Docs/manual.texi: Changelog scripts/mysql_config.sh: Fix script to search in different directories for include and lib
Docs/manual.texi: Changelog scripts/mysql_config.sh: Fix script to search in different directories for include and lib