From 345eb510d6b72328b057c030363624e4c3ff74c8 Mon Sep 17 00:00:00 2001
From: Christoph Brill <egore911@gmail.com>
Date: Tue, 7 Feb 2017 13:17:13 +0100
Subject: Add more realname entries

---
 common.inc.php | 2 ++
 1 file changed, 2 insertions(+)

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ä';
-- 
cgit v1.2.3