diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-02-18 16:22:40 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-18 18:22:40 -0600 |
| commit | 6ae21de6f85d9629018c1b6bf912ef39f3e169fb (patch) | |
| tree | 77c35aa0ce7301e50b5d2aecc866a1655d70faa0 /AUTHORS | |
| parent | 251bd84f628be2ce5ac2159b48112d9383c071c3 (diff) | |
Add Gereon to AUTHORS list. (#5930)
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ Current: Clark Barrett, New York University, Google, Stanford University Martin Brain, University of Oxford Ahmed Irfan, Stanford University + Gereon Kremer, Stanford University Makai Mann, Stanford University Abdalrhman Mohamed, The University of Iowa Mudathir Mohamed, The University of Iowa |