summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--common.inc.php2
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ä';