diff options
-rw-r--r-- | common.inc.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common.inc.php b/common.inc.php index 8c7c9e3..99a810f 100644 --- a/common.inc.php +++ b/common.inc.php @@ -192,6 +192,7 @@ $realname['mjg59'] = 'Matthew Garrett'; $realname['mlankhorst'] = 'Maarten Lankhorst'; $realname['MostAwesomeDude'] = 'Corbin Simpson'; $realname['MrCooper'] = 'Michel Dänzer'; +$realname['mupuf'] = 'Martin Peres'; $realname['nha'] = 'Nicolai Hähnle'; $realname['olesalscheider'] = 'Niels Ole Salscheider'; $realname['okias'] = 'David Heidelberger'; @@ -218,6 +219,7 @@ $realname['suokko'] = 'Pauli Nieminen'; $realname['tarceri'] = 'Timothy Arceri'; $realname['tizbac'] = 'Tiziano Bacocco'; $realname['tstellar'] = 'Tom Stellard'; +$realname['TTimo'] = 'Timothee Besset'; $realname['vadimg'] = 'Vadim Girlin'; $realname['vlj'] = 'Vincent Lejeune'; $realname['vsyrjala'] = 'Ville Syrjälä'; |