diff --git a/Lake/Version.lean b/Lake/Version.lean index a4f398b2d3..68ec668d6d 100644 --- a/Lake/Version.lean +++ b/Lake/Version.lean @@ -10,7 +10,7 @@ def version.major := 3 def version.minor := 2 def version.patch := 2 -def version.isPrerelease := true +def version.isPrerelease := false def version.isRelease := !isPrerelease def version.specialDesc := if isPrerelease then "pre" else ""