Skip to content

v3.7.4

Compare
Choose a tag to compare
@hannesm hannesm released this 20 Dec 15:52
· 1656 commits to main since this release

CHANGES:

  • use git rev-parse --abbrev-ref HEAD instead of git branch --show-current
    for emitting branch information into the opam file. The latter is only
    available in git 2.22 or later, while the former seems to be supported by
    old git releases. (#1024, @hannesm)