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

Merge pull request #1078 from rgrinberg/update-changes 

Update CHANGELOG with optional names entry
This commit is contained in:
Rudi Grinberg 2018-08-01 10:19:02 +02:00 committed by GitHub
parent 3c5fddf5fe 919c0bc403
commit d6c2a434db
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
CHANGES.md
View File

@ -9,8 +9,11 @@ next
now allowed in toplevel position in the workspace file, or for individual
contexts. This feature requires `(dune lang 1.1)` (#1038, @rgrinberg)
- Add ``enabled_if`` field for aliases and tests. This field controls whether
the test will be ran using a boolean expression language. (#819, @rgrinberg)
- Add `enabled_if` field for aliases and tests. This field controls whether the
test will be ran using a boolean expression language. (#819, @rgrinberg)
- Make `name`, `names` fields optional when a `public_name`, `public_names`
field is provided. (#1041, fix #1000, @rgrinberg)
- Interpret `X` in `--libdir X` as relative to `PREFIX` when `X` is relative
(#1072, fix #1070, @diml)