From 5eb591092df8947e1976eb42d8084cd7ecf7a0e0 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Fri, 1 Jul 2022 19:03:46 -0400
Subject: [PATCH] release: 3.2.0

---
 Lake/Version.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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