summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes4
1 files changed, 4 insertions, 0 deletions
diff --git a/Changes b/Changes
index fa12a07ff8..123c033648 100644
--- a/Changes
+++ b/Changes
@@ -13,6 +13,10 @@ Working version
### Tools:
+- #12185: New script language for ocamltest.
+ (Damien Doligez with Florian Angeletti, Sébastien Hinderer, Gabriel Scherer,
+ review by Sébastien Hinderer and Gabriel Scherer)
+
### Manual and documentation:
### Compiler user-interface and warnings: