Prepare 3.8.1 (#7891)

Signed-off-by: Etienne Millon <me@emillon.org>
ocaml · Jun 5, 2023 · a340b80 · a340b80
1 parent b566e50
commit a340b80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,4 @@
-3.8.1 (unreleased)
+3.8.1 (2023-06-05)
 ------------------
 
 - Fix a crash when using a version of Coq < 8.13 due to the native compiler