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 thebreaker Uwe Freese theli Anton Romanov theseven Michael Sparmann +thomasjfox Thomas Jarosch tomal Tomasz Malesinski tomas Tomas Salfischberger tomers Tomer Shalev