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 5020947..a661d8f 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -25,6 +25,7 @@ Markus Heule <markus.heule@gmail.com> Matthew Simmons <simmonmt@acm.org> Mike Bland <mbland@google.com> Neal Norwitz <nnorwitz@gmail.com> +Nermin Ozkiranartli <nermin@google.com> Owen Carlsen <ocarlsen@google.com> Paneendra Ba <paneendra@google.com> Paul Menage <menage@google.com> |