git.1.4.3 - via opam-publish
Merge pull request #3238 from samoht/opam-publish/git.1.4.3

git.1.4.3 - via opam-publish