Skip to content

Commit

Permalink
Update CHANGES
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg committed Apr 8, 2019
1 parent 040e8e1 commit d719da5
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ unreleased
- Install .cmi files of private modules in a `.private` directory (#1983, fix
#1973 @rgrinberg)

- Fix dune subst attempting to sunbstitute on directories. (#2000, fix #1997,
- Fix `dune subst` attempting to substitute on directories. (#2000, fix #1997,
@rgrinberg)

- Do not list private modules in the generated index. (#2009, fix #2008,
Expand All @@ -31,6 +31,9 @@ unreleased
- Warn instead of failing if an opam file fails to parse. This opam file can
still be used to define scope. (#2023, @rgrinberg)

- Do not exit dune if some source directories are unreadable. Instead, warn the
user that such directories need to be ignored (#2004, fix #310, @rgrinberg)

1.8.2 (10/03/2019)
------------------

Expand Down

0 comments on commit d719da5

Please sign in to comment.