diff options
author | Christoph Brill <egore911@gmail.com> | 2017-02-21 22:22:28 +0100 |
---|---|---|
committer | Christoph Brill <egore911@gmail.com> | 2017-02-21 22:22:28 +0100 |
commit | f1f948173366a08428c7d2387503b56a7dfc0d3c (patch) | |
tree | fe155df1bbbe70c9039ce0d875df6bc9211b536c | |
parent | aa550e31b448d79c7e02fef60a5333e303e845cd (diff) |
Add another realname
-rw-r--r-- | common.inc.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common.inc.php b/common.inc.php index c1004b4..612b73b 100644 --- a/common.inc.php +++ b/common.inc.php @@ -289,6 +289,7 @@ $realname['stringfellow'] = 'Henry Verbeet'; $realname['suokko'] = 'Pauli Nieminen'; $realname['tarceri'] = 'Timothy Arceri'; $realname['tizbac'] = 'Tiziano Bacocco'; +$realname['thohel'] = 'Thomas Helland'; $realname['tstellar'] = 'Tom Stellard'; $realname['TTimo'] = 'Timothee Besset'; $realname['vadimg'] = 'Vadim Girlin'; |