Bump Lean version to 4.1.0 #17

Merged
aniva merged 2 commits from misc/toolchain into dev 2023-10-05 21:52:38 -07:00
Owner
No description provided.
aniva added this to the 0.2.6 milestone 2023-10-05 17:50:12 -07:00
aniva added the
category
organization
label 2023-10-05 17:50:12 -07:00
aniva self-assigned this 2023-10-05 17:50:12 -07:00
aniva added 1 commit 2023-10-05 17:50:13 -07:00
aniva added 1 commit 2023-10-05 17:51:50 -07:00
aniva merged commit 5b002a9ceb into dev 2023-10-05 21:52:38 -07:00
Sign in to join this conversation.
No description provided.