From 086978037651d0db72e87ce3c4a1e6509f7916ec Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Thu, 3 Feb 2022 01:24:28 -0500
Subject: [PATCH] chore: start next Lake version

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

diff --git a/Lake/Version.lean b/Lake/Version.lean
index f26974f1d8..da275f7970 100644
--- a/Lake/Version.lean
+++ b/Lake/Version.lean
@@ -7,11 +7,11 @@ Authors: Mac Malone
 namespace Lake
 
 def version.major := 3
-def version.minor := 0
+def version.minor := 1
 def version.patch := 0
 
-def version.isRelease := true
-def version.specialDesc := ""
+def version.isRelease := false
+def version.specialDesc := "pre"
 
 def versionStringCore :=
   s!"{version.major}.{version.minor}.{version.patch}"