Skip to content
This repository was archived by the owner on Oct 25, 2023. It is now read-only.

Commit 8037b9a

Browse files
committed
chore: start next Lake version
1 parent dcf8e1f commit 8037b9a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

Diff for: Lake/Version.lean

+2-2
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Authors: Mac Malone
77
namespace Lake
88

99
def version.major := 3
10-
def version.minor := 2
11-
def version.patch := 2
10+
def version.minor := 3
11+
def version.patch := 0
1212

1313
def version.isPrerelease := false
1414
def version.isRelease := !isPrerelease

0 commit comments

Comments
 (0)