Merge pull request #7026 from emilazy/push-npwwprvzrmmr
authorEdward Thomson <[email protected]>
Tue, 21 Jan 2025 21:42:07 +0000 (21 13:42 -0800)
committerGitHub <[email protected]>
Tue, 21 Jan 2025 21:42:07 +0000 (21 13:42 -0800)
conflict tests: check `core.ignorecase`


Trivial merge