diff options
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 854e7d7733..768dbb5910 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -103,3 +103,4 @@ Yue Gan <yueg@google.com> Yun Peng <pcloudy@google.com> Dmitry Babkin <dbabkin@google.com> Klaus Aehlig <aehlig@google.com> +Robin Nabel <rnabel@ucdavis.edu> |