Skip to content

merge: sync LeanBitLab/LeanType v4.1.8 - #149

Merged
AsafMah merged 181 commits into
devfrom
asafmah-merge-upstream-v4-1-8
Sep 3, 2026
Merged

merge: sync LeanBitLab/LeanType v4.1.8#149
AsafMah merged 181 commits into
devfrom
asafmah-merge-upstream-v4-1-8

docs(changelog): record upstream v4.1.8 sync (#149)

12a4922
Select commit
Loading
Failed to load commit list.