From 9f333147f5c6d2ceea291e0b64713a7d6bcbe6f3 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Mon, 16 May 2022 11:28:12 -0400
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 fc8f4b16a3..f3008b3abe 100644
--- a/Lake/Version.lean
+++ b/Lake/Version.lean
@@ -7,10 +7,10 @@ Authors: Mac Malone
 namespace Lake
 
 def version.major := 3
-def version.minor := 0
-def version.patch := 1
+def version.minor := 1
+def version.patch := 0
 
-def version.isPrerelease := false
+def version.isPrerelease := true
 def version.isRelease := !isPrerelease
 def version.specialDesc := if isPrerelease then "pre" else ""