mirror of
https://github.com/MariaDB/server.git
synced 2026-10-23 18:49:29 +03:00
regardless of what is changed. There's no need for that. It's enough to run it only when something in include/mysql changes.
regardless of what is changed. There's no need for that. It's enough to run it only when something in include/mysql changes.