From 2f7825e06b28cd54fc2a0f188e26c08d6ce52624 Mon Sep 17 00:00:00 2001 From: tydeu Date: Fri, 10 Jun 2022 19:20:32 -0400 Subject: [PATCH] chore: start next Lake version --- Lake/Version.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Lake/Version.lean b/Lake/Version.lean index 894dcea576..141ac88fb8 100644 --- a/Lake/Version.lean +++ b/Lake/Version.lean @@ -8,9 +8,9 @@ namespace Lake def version.major := 3 def version.minor := 1 -def version.patch := 0 +def version.patch := 1 -def version.isPrerelease := false +def version.isPrerelease := true def version.isRelease := !isPrerelease def version.specialDesc := if isPrerelease then "pre" else ""