Skip to content

Commit

Permalink
CHANGES entry for the odoc include path changes
Browse files Browse the repository at this point in the history
Signed-off-by: Jon Ludlam <[email protected]>
  • Loading branch information
jonludlam committed Apr 10, 2019
1 parent 1d24c1b commit 907177a
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 @@
unreleased
----------

- Fix invocation of odoc to add previously missing include paths, impacting
mld files that are not in directories containing libraries (#2016, fixes
#2007, @jonludlam)

1.9.0 (09/04/2019)
------------------

Expand Down

0 comments on commit 907177a

Please sign in to comment.