mathlib3
fix(.mergify.yml): remove " (leanprover-community/lean:3.5.1)" [skip ci]
#2077

Merged

fix(.mergify.yml): remove " (leanprover-community/lean:3.5.1)" [skip ci] #2077

digama0 merged 1 commit into master from mergify-3.5.1

fix(.mergify.yml): remove " (leanprover-community/lean:3.5.1)"

a362d84c

digama0 merged aec54b3b into master 6 years ago

digama0 deleted the mergify-3.5.1 branch 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone