From 0244797029043935b563be69f5fca550370cfac1 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 1 Jun 2018 15:41:13 +0100 Subject: [PATCH] Update changelog Signed-off-by: Jeremie Dimino --- CHANGES.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 6c024c22..7f7d85c0 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -49,6 +49,13 @@ next - Allow setting custom build directories using the `--build-dir` flag or `DUNE_BUILD_DIR` environment variable (#846, fix #291, @diml @rgrinberg) +- In dune files, remove support for block (`#| ... |#)`) and sexp + (`#;`) comments. These were very rarely used and complicate the + language (#837, @diml) + +- In dune files, add support for block strings, allowing to nicely + format blocks of texts (#837, @diml) + 1.0+beta20 (10/04/2018) -----------------------