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

Commit dc19606

Browse files
committed
chore: start next Lake version
1 parent b651e87 commit dc19606

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
@@ -8,9 +8,9 @@ namespace Lake
88

99
def version.major := 3
1010
def version.minor := 2
11-
def version.patch := 1
11+
def version.patch := 2
1212

13-
def version.isPrerelease := false
13+
def version.isPrerelease := true
1414
def version.isRelease := !isPrerelease
1515
def version.specialDesc := if isPrerelease then "pre" else ""
1616

0 commit comments

Comments
 (0)