diff --git a/CHANGES.md b/CHANGES.md index 0bde6b6808a1..8a2ca620f221 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -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) -------------------