change log entry

GaloisInc · Oct 1, 2024 · 6fa57cb · 6fa57cb
1 parent 4183f0b
commit 6fa57cb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -13,6 +13,10 @@
 
 ## New features
 
+* REPL command `:dumptests <FILE> <EXPR>` updated to write to stdout when
+  invoked as `:dumptests - <EXPR>` allowing for easier experimentation and
+  testing.
+
 # 3.2.0 -- 2024-08-20
 
 ## Language changes