diff --git a/CHANGES b/CHANGES
index 32810b8f..4905b09f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
-20-09-23: RELEASE OPAM 1.8.0 for Coq 8.12 (commit 93dba9d)
+20-09-23: RELEASE OPAM 1.8.0 for Coq 8.12 (commit 67f71af)
 
 -----------------------------------------------------------------------------
 19-11-05: RELEASE OPAM 1.7.0 for Coq 8.10 (commit 08b5481)