From 7f441b81f801af2ad7ff388c9f63c803cba93a31 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Thu, 11 Apr 2019 11:25:21 +0700 Subject: [PATCH] Prepare 1.9.1 Signed-off-by: Rudi Grinberg --- CHANGES.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 5d045557d75..0b1346486c8 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,5 @@ -unreleased ----------- +1.9.1 (11/04/2019) +------------------ - Fix invocation of odoc to add previously missing include paths, impacting mld files that are not in directories containing libraries (#2016, fixes