summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 1 insertions, 1 deletions
diff --git a/Changes b/Changes
index 7f9d3ffd93..a91fe1ecdb 100644
--- a/Changes
+++ b/Changes
@@ -1,4 +1,4 @@
-OCaml 4.14 maintenance branch
+OCaml 4.14.1 (20 December 2022)
------------------------------
### Bug fixes: