diff --git a/CHANGES.md b/CHANGES.md index 3985b9269eac..b58b5b5873a1 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,8 @@ Unreleased ---------- +- Fix parsing of `<=` operator (#6928, @tatchi) + - Fix `--trace-file` output. Dune now emits a single *complete* event for every executed process. Unterminated *async* events are no longer written. (#6892, @rgrinberg)