Update CHANGELOG for odoc include dir fix

2018-03-24 01:00:57 +08:00 · 2018-03-24 01:00:57 +08:00 · 3b694b0abe
parent 8fd04e5a9f
commit 3b694b0abe
1 changed files with 4 additions and 0 deletions
--- a/CHANGES.md
+++ b/CHANGES.md
@ -28,6 +28,10 @@ next
 - Use the host's PATH variable when running actions during cross compilation
  (#649, fixes #625 @rgrinberg)

+- Fix incorrect include (`-I`) flags being passed to odoc. These flags should be
+  directories that include .odoc files, rather than the include flags of the
+  libraries. (#652 fixes #651 @rgrinberg)
+
 1.0+beta19.1 (21/03/2018)
 -------------------------