Bump lean version to 4.0.0 #13

Merged

aniva merged 1 commits from misc/version into dev 2023-09-13 21:04:41 -07:00

Conversation 0 Commits 1 Files Changed 2 +5 -27

1 Commits

Author	SHA1	Message	Date
Leni Aniva	1e637dabaa	Bump lean version to 4.0.0	2023-09-13 21:02:26 -07:00