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 4, 2019
1 parent 4b2681c commit 0a485cc
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,10 @@
unreleased
----------

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

- Warn when generated `.merlin` does not reflect the preprocessing
specification. This occurs when multiple stanzas in the same directory use
different preprocessing specifications. This warning can now be disabled with
Expand Down

0 comments on commit 0a485cc

Please sign in to comment.