Update CHANGES.md

gares · web-flow · commit e509d8a5bc1d · 2023-03-09T15:34:28.000+01:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,7 @@
-# UNRELEASED
+# v.1.16.9 (March 2023)
+
+Requires Menhir 20211230 and OCaml 4.08 or above.
+Camlp5 8.0 or above is optional.
 
 - Trace browser:
   - Fix CHR trace elaboration in case no rule applies
