1.1.1

groupoid · Jan 27, 2022 · 305de53 · 305de53
1 parent 4f93458
commit 305de53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,7 +1,7 @@
 Changelog
 =========
 
-17 JAN 2022 Version 1.1.1 Univalence:
+27 JAN 2022 Version 1.1.1 Univalence:
 
 * Glue Type
 * 0, 1, 2, W Types