chore: start next Lake version

leanprover · Jul 25, 2022 · 8037b9a · 8037b9a
1 parent dcf8e1f
commit 8037b9a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Lake/Version.lean b/Lake/Version.lean
@@ -7,8 +7,8 @@ Authors: Mac Malone
 namespace Lake
 
 def version.major := 3
-def version.minor := 2
-def version.patch := 2
+def version.minor := 3
+def version.patch := 0
 
 def version.isPrerelease := false
 def version.isRelease := !isPrerelease