update

fblanqui · Sep 24, 2020 · d98d43f · d98d43f
1 parent 67f71af
commit d98d43f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)