Skip to content

Commit

Permalink
Update CHANGES.md
Browse files Browse the repository at this point in the history
  • Loading branch information
nojb committed Jul 31, 2019
1 parent e5fb94c commit 8ae82bb
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -59,9 +59,11 @@
- Add a new config option `sandboxing_preference`, the cli argument `--sandbox`,
and the dep spec `sandbox` in dune language. These let the user control the level of
sandboxing done by dune per rule and globally. The rule specification takes precedence.
The global configuration merely specifies the default.
The global configuration merely specifies the default.
(#2213, @aalekseyev, @jdimino)

- Add action (with-stdin-from ...). (#2487, @nojb)

1.11.0 (23/07/2019)
-------------------

Expand Down

0 comments on commit 8ae82bb

Please sign in to comment.