diff options
| author | m5imunovic <simunovic.marijo@gmail.com> | 2020-09-01 10:56:52 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-15 15:50:24 +0200 |
| commit | a7abe2602c50076d1ac906de0f20f6815cede88e (patch) | |
| tree | 11384091d16ca2de70f700eea0ca49341afa0820 | |
| parent | ca3158ee9a65eb3faf56c0f1d839f5c5c1725aea (diff) | |
CONTRIBUTORS: add Marijo Simunovic
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 545cf5d12..f93bb5b1a 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -71,3 +71,4 @@ Jukka Kaartinen Alexander Egorenkov Matthew Halchyshak Heyuan Shi +Marijo Simunovic |