mirror of
https://github.com/MariaDB/server.git
synced 2025-07-05 12:42:17 +03:00
This commit does not touch any variable names or any other actual code, and thus should not in any way affect how the code works.
This commit does not touch any variable names or any other actual code, and thus should not in any way affect how the code works.