Merge pull request #7077 from JohannesWilde/AvoidDuplicateDefinition
authorEdward Thomson <[email protected]>
Thu, 5 Jun 2025 13:00:40 +0000 (5 14:00 +0100)
committerGitHub <[email protected]>
Thu, 5 Jun 2025 13:00:40 +0000 (5 14:00 +0100)
Avoid duplicate definition of git_http_auth_dummy.


Trivial merge