Add more realname entries

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ä';