Hi, Michael! On Apr 13, Michael Widenius wrote:

revision-id: 62c2d0f3e1f (mariadb-10.5.2-125-g62c2d0f3e1f) parent(s): bc5c062b1d1 author: Michael Widenius <monty@mariadb.com> committer: Michael Widenius <monty@mariadb.com> timestamp: 2020-04-09 01:37:02 +0300 message:

Added mariadb-config.1 to .gitignore

Where does it come from, where is it created? I've just grepped the whole tree, I don't see it ever gets created anywhere, so why to ignore it?

diff --git a/.gitignore b/.gitignore index 8d3b5245447..8bd46093cbe 100644 --- a/.gitignore +++ b/.gitignore @@ -581,6 +581,7 @@ man/mariadb-check.1 man/mariadb-client-test.1 man/mariadb-client-test-embedded.1 man/mariadb_config.1 +man/mariadb-config.1 man/mariadb-convert-table-format.1 man/mariadbd.8 man/mariadbd-multi.1

Regards, Sergei VP of MariaDB Server Engineering and security@mariadb.org