chore: start next Lake version

leanprover · Jul 4, 2022 · 9189b42 · 9189b42
1 parent 2987d36
commit 9189b42
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Lake/Version.lean b/Lake/Version.lean
@@ -8,9 +8,9 @@ namespace Lake
 
 def version.major := 3
 def version.minor := 2
-def version.patch := 0
+def version.patch := 1
 
-def version.isPrerelease := false
+def version.isPrerelease := true
 def version.isRelease := !isPrerelease
 def version.specialDesc := if isPrerelease then "pre" else ""