Skip to content

Commit

Permalink
changes
Browse files Browse the repository at this point in the history
  • Loading branch information
hannesm committed Dec 20, 2019
1 parent d49c013 commit daade89
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,10 @@
### v3.7.4 (2019-12-20)

* 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)

### v3.7.3 (2019-12-17)

* `mirage configure` now emits build and install steps into generated opam file
Expand Down

0 comments on commit daade89

Please sign in to comment.