Skip to content

Commit

Permalink
chore: better CHANGES formatting
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>

ps-id: FA78DEDB-FD72-42B3-936B-B9D8CB2EDF64
  • Loading branch information
rgrinberg committed Apr 26, 2022
1 parent 4bacf44 commit ce51dc2
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,8 @@
- Allow to specify `--prefix` via the environment variable
`DUNE_INSTALL_PREFIX` (#5589, @vapourismo)

- Dune-site.plugin: add support for `archive(native|byte, plugin)` used in the wild before
findlib documented `plugin(native|byte)` in 2015 (#5518, @bobot)

- Dune-site.plugin: add support for `archive(native|byte, plugin)` used in the
wild before findlib documented `plugin(native|byte)` in 2015 (#5518, @bobot)

3.1.1 (19/04/2022)
------------------
Expand Down

0 comments on commit ce51dc2

Please sign in to comment.