mirror of
https://github.com/MariaDB/server.git
synced 2025-07-20 16:56:36 +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.