matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge pull request #868 from rgrinberg/missing-changes 

Add a couple of entries to the change log
This commit is contained in:
Rudi Grinberg 2018-06-07 23:04:15 +07:00 committed by GitHub
parent 28991eb6b0 a48bcf3418
commit 0a17697fca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
CHANGES.md
View File

@ -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)
-----------------------