diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-05-22 05:36:24 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-05-22 05:36:24 +0200 |
| commit | 760d346267c0bd7efd3d0ae925c9aa59c2a3e7be (patch) | |
| tree | e54ce62b71024aaa31b5141e9520c611dec43999 | |
| parent | 4a61c02d222b7109a91cf8a32f295820f71573d6 (diff) | |
AUTHORS/CONTRIBUTORS: fixup
| -rw-r--r-- | AUTHORS | 1 | ||||
| -rw-r--r-- | CONTRIBUTORS | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -9,3 +9,4 @@ Google Inc. Baozeng Ding Lorenzo Stoakes Jeremy Huang +Shuai Bai diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 41272c675..ea17796f7 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -12,4 +12,4 @@ Google Inc. Baozeng Ding Lorenzo Stoakes Jeremy Huang -Shuai Bai
\ No newline at end of file +Shuai Bai |