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 40ce6c87..7678b3de 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -18,6 +18,7 @@ Keith Ray <keith.ray@gmail.com> Kenton Varda <kenton@google.com> Markus Heule <markus.heule@gmail.com> Mika Raento <mikie@iki.fi> +Miklós Fazekas <mfazekas@szemafor.com> Patrick Hanna <phanna@google.com> Patrick Riley <pfr@google.com> Peter Kaminski <piotrk@google.com> |