update CHANGES

fblanqui · Mar 18, 2021 · 1e7b265 · 1e7b265
1 parent d1929ff
commit 1e7b265
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
-21-03-18: RELEASE OPAM 1.8.1 for Coq 8.13 (commit 7167dad)
+21-03-18: RELEASE OPAM 1.8.1 for Coq 8.13 (commit d1929ff)
 
 -----------------------------------------------------------------------------
 20-09-23: RELEASE OPAM 1.8.0 for Coq 8.12 (commit 67f71af)