PR #2203 chore(leanpkg.toml): Lean 3.7.2c

chore(leanpkg.toml): Lean 3.7.2c #2203

mergify merged 2 commits into master from lean372

chore(leanpkg.toml): Lean 3.7.2c

cf198a7a

update contribute/index.md

b7ed0fc7

sgouezel added ready-to-merge

sgouezel approved these changes on 2020-03-21

mergify merged bc84a205 into master 5 years ago

mergify deleted the lean372 branch 5 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone