diff options
-rw-r--r-- | .diffnotice | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.diffnotice b/.diffnotice index 22ef300..f0e4967 100644 --- a/.diffnotice +++ b/.diffnotice @@ -3,4 +3,5 @@ weber@search.ch koni@search.ch mueller@search.ch bruederli@search.ch +gass@search.ch itools@2ni.ch |