From a97d2cfe051a8cb0e47de37370cd9ccf10f489ae Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Thu, 7 Jun 2018 21:28:15 +0700 Subject: [PATCH] Add a couple of entries to the change log Signed-off-by: Rudi Grinberg --- CHANGES.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 891d0ae5..141eba74 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -43,7 +43,7 @@ next - Add an `ignored_subdirs` stanza to replace `jbuild-ignore` files (#767, @diml) -- Fix a bug where Dune ignored previous occurences of duplicated +- Fix a bug where Dune ignored previous occurrences of duplicated fields (#779, @diml) - Allow setting custom build directories using the `--build-dir` flag or @@ -69,6 +69,12 @@ next - Fix documentation generation for private libraries. (#864, fix #856, @rgrinberg) +- Use `Marshal` to store digest and incremental databases. This improves the + speed of 0 rebuilds. (#817, @diml) + +* Allow setting environment variables in `findlib.conf` for cross compilation + contexts. (#733, @rgrinberg) + 1.0+beta20 (10/04/2018) -----------------------