diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-04 14:00:10 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-06 10:02:03 +0200 |
| commit | 65c0e1a37ca36fb4799f0d896182a3d070f7a034 (patch) | |
| tree | 8476b8995c451179ed307d5d77789849e6cc006e /AUTHORS | |
| parent | 9820e1cae679fd4461df926820be83ff6e98a74b (diff) | |
AUTHORS: sync with CONTRIBUTORS
Sometimes people forget to add themselves to AUTHORS.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -13,6 +13,7 @@ Shuai Bai Alexander Popov Jean-Baptiste Cayrou Yuzhe Han +Thomas Garnier Utkarsh Anand Tobias Klauser Tim Tianyang Chen @@ -21,3 +22,4 @@ Sumukha PK Mitchell Horne Hangbin Liu Denis Efremov +Ondrej Mosnacek |