chore(version) Bump version 0.21.8

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Sep 18, 2020 · e500828 · e500828
1 parent 8c5a969
commit e500828
Show file tree

Hide file tree

Showing 6 changed files with 5,552 additions and 12,087 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.21.7"%string.
+    Definition ergo_version := "0.21.8"%string.
 
 End Version.