mathlib3
chore(README): add Bryan; alphabetize
#2238
Merged

chore(README): add Bryan; alphabetize #2238

mergify merged 1 commit into master from robertylewis-patch-2
robertylewis
robertylewis chore(README): add Bryan; alphabetize
a355ca9b
kim-em
kim-em approved these changes on 2020-03-25
bryangingechen
bryangingechen approved these changes on 2020-03-25
bryangingechen bryangingechen added ready-to-merge
kim-em
mergify mergify merged 83014bf7 into master 6 years ago
robertylewis robertylewis deleted the robertylewis-patch-2 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone