From 90ba1a6556fa0c31fc036c126fa349e2264689de Mon Sep 17 00:00:00 2001 From: tydeu Date: Sun, 24 Jul 2022 00:36:24 -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 68ec668d6d..6514b02f76 100644 --- a/Lake/Version.lean +++ b/Lake/Version.lean @@ -7,8 +7,8 @@ Authors: Mac Malone namespace Lake def version.major := 3 -def version.minor := 2 -def version.patch := 2 +def version.minor := 3 +def version.patch := 0 def version.isPrerelease := false def version.isRelease := !isPrerelease