summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdocs/COMMITTERS1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/COMMITTERS b/docs/COMMITTERS
index 80d3595be0..ea007b7815 100755
--- a/docs/COMMITTERS
+++ b/docs/COMMITTERS
@@ -120,6 +120,7 @@ teru Teruaki Kawashima
120thebreaker Uwe Freese 120thebreaker Uwe Freese
121theli Anton Romanov 121theli Anton Romanov
122theseven Michael Sparmann 122theseven Michael Sparmann
123thomasjfox Thomas Jarosch
123tomal Tomasz Malesinski 124tomal Tomasz Malesinski
124tomas Tomas Salfischberger 125tomas Tomas Salfischberger
125tomers Tomer Shalev 126tomers Tomer Shalev