From 17ac0d7f94583cb4224887f00a47c414ff607853 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Mon, 31 Jan 2022 06:42:15 -0500
Subject: [PATCH] release: 3.0.0

---
 Lake/Version.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Lake/Version.lean b/Lake/Version.lean
index c8abd96c53..f26974f1d8 100644
--- a/Lake/Version.lean
+++ b/Lake/Version.lean
@@ -10,8 +10,8 @@ def version.major := 3
 def version.minor := 0
 def version.patch := 0
 
-def version.isRelease := false
-def version.specialDesc := "pre"
+def version.isRelease := true
+def version.specialDesc := ""
 
 def versionStringCore :=
   s!"{version.major}.{version.minor}.{version.patch}"