Skip to content

fix: update 4 language metadata versions - #228

Merged
ElJijuna merged 4 commits into
mainfrom
chore/update-language-metadata-versions
Jul 29, 2026
Merged

fix: update 4 language metadata versions#228
ElJijuna merged 4 commits into
mainfrom
chore/update-language-metadata-versions

fix: update Lean metadata to 4.32.2

09ee047
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Validate PR
succeeded Jul 29, 2026 in 35s