From 8037b9aab16bad173244a51a4b6c5fd9ad096f6b 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 68ec668..6514b02 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