From 802363e4eccf514988b13571d3fb9b67451a9d56 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 2 Jun 2018 18:24:48 +0700 Subject: [PATCH] Add CHANGES entry Signed-off-by: Rudi Grinberg --- CHANGES.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index bbb87043..6c024c22 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -46,6 +46,9 @@ next - Fix a bug where Dune ignored previous occurences of duplicated fields (#779, @diml) +- Allow setting custom build directories using the `--build-dir` flag or + `DUNE_BUILD_DIR` environment variable (#846, fix #291, @diml @rgrinberg) + 1.0+beta20 (10/04/2018) -----------------------