Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-12 20:44
0829f931
View on Github →
chore(scripts/get_tlabel.sh): use 'CI' and 'IMO' labels for maintainer merge (
#16726
)
Estimated changes
Modified
scripts/get_tlabel.sh