(cargo-release) version 1.0.2

leanprover · Apr 28, 2021 · b13edc8 · b13edc8
1 parent 84ebf4f
commit b13edc8
Show file tree

Hide file tree

Showing 3 changed files with 724 additions and 726 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-# Unreleased
+# 1.0.2 - 2021-04-28
 
 ## Changed