From b3d87dc16379e50d0883b2a70b6bf46868139050 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 4 Aug 2018 13:22:19 +0300 Subject: [PATCH] Update CHANGES Signed-off-by: Rudi Grinberg --- CHANGES.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index d4c36ee5..e31389d2 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -30,6 +30,9 @@ next - Fix placeholders in `dune subst` documentation (#1090, @emillon, thanks @trefis for the bug report) +- Add locations to errors when a missing binary in PATH comes from a dune file + (#1096, fixes #1095, @rgrinberg) + 1.0.1 (19/07/2018) ------------------