From 3b694b0abe7b837a01f3a1d37c630dbff99a4da5 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sat, 24 Mar 2018 01:00:57 +0800
Subject: [PATCH] Update CHANGELOG for odoc include dir fix

---
 CHANGES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 00ec60d0..7378f565 100644
--- 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)
 -------------------------