Skip to content

Commit

Permalink
doc: minor CHANGES.md adjustment (#8157)
Browse files Browse the repository at this point in the history
Signed-off-by: Ali Caglayan <alizter@gmail.com>
  • Loading branch information
Alizter authored Jul 10, 2023
1 parent 2ebaa87 commit 51ec71e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Unreleased
- Add `dune show installed-libraries` as an alias of the `dune
installed-libraries` command. (#8135, @Alizter)

- Add `dune build --dump-gc-stats FILE` argument to dump Garbage Collection
- Add `dune build --dump-gc-stats FILE` argument to dump garbage collection
stats to a named file. (#8072, @Alizter)

3.9.1 (2023-07-06)
Expand Down

0 comments on commit 51ec71e

Please sign in to comment.