mathlib
da210bf9 - doc(contribute/bors.md): update some outdated info (#3209)

Commit

5 years ago

doc(contribute/bors.md): update some outdated info (#3209)

Author

bryangingechen

bryangingechen

Parents

Loading