mathlib3
542d1790 - chore(github/pr): mergify configuration (#871)

Commit

6 years ago

chore(github/pr): mergify configuration (#871)

References

#871 - mergify configuration

Author

cipher1024

cipher1024

Parents

Loading