Update CHANGES

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2018-08-04 13:22:19 +03:00 · 2018-08-04 13:22:19 +03:00 · b3d87dc163
parent a064b59692
commit b3d87dc163
1 changed files with 3 additions and 0 deletions
--- 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)
 ------------------