mirror of
https://github.com/MariaDB/server.git
synced 2025-11-24 06:01:25 +03:00
Adapt to the different path of the server program, if installation was by RPM.
Missing in the first changeset for bug#17194.
2.2 KiB
2.2 KiB