mirror of
https://github.com/MariaDB/server.git
synced 2025-07-23 00:55:06 +00:00

as specified by the comments of this pull request: https://github.com/MariaDB/server/pull/4078 Also got rid of the file_contents.test and file_contents.result files as they only test the existence and contents of the INFO_BIN and INFO_SRC, therefore they are not needed anymore.