From 907177a64323f8e51f6d845a05c84f12d51fded0 Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Thu, 4 Apr 2019 11:40:45 +0100 Subject: [PATCH] CHANGES entry for the odoc include path changes Signed-off-by: Jon Ludlam --- CHANGES.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 392788028d4..5d045557d75 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -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) ------------------