(chore) Up 0.4.3

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Sep 27, 2018 · 2efab5d · 2efab5d
1 parent f4f4702
commit 2efab5d
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 8 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.4.2"%string.
+    Definition ergo_version := "0.4.3"%string.
 
 End Version.
 
diff --git a/package-lock.json b/package-lock.json
diff --git a/packages/ergo-cli/index.html b/packages/ergo-cli/index.html
@@ -69,8 +69,8 @@
 
 <h1>
 <a href="https://docs.accordproject.org/docs/ergo.html" target="_blank">Ergo</a>
-&middot; v0.4.1
-&middot; sep 15, 2018
+&middot; v0.4.3
+&middot; sep 27, 2018
 &middot;
 <img height="20" align="right" src="ergologo.png"/>
 </h1>