mirror of
https://github.com/MariaDB/server.git
synced 2025-07-27 18:02:13 +03:00
option values now have to be edited in-place, instead of replacing an option with another one that has the same name but a new value.
option values now have to be edited in-place, instead of replacing an option with another one that has the same name but a new value.