mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
The variables now return real values. They can't be made usual variables because they do not have DEFAULT value.
The variables now return real values. They can't be made usual variables because they do not have DEFAULT value.