Add even more names

1 files changed, 7 insertions, 0 deletions

diff --git a/common.inc.php b/common.inc.php
index 201a118..83c8ae1 100644
--- a/common.inc.php
+++ b/common.inc.php
@@ -139,6 +139,7 @@ $realname['cheako'] = 'Mike Mestnik';
 $realname['ckoenig'] = 'Christian Koenig';
 $realname['curro'] = 'Francisco Jerez';
 $realname['cworth'] = 'Carl Worth';
+$realname['daniels'] = 'Daniel Stone';
 $realname['danvet'] = 'Daniel Vetter';
 $realname['danvet_'] = 'Daniel Vetter';
 $realname['darktama'] = 'Ben Skeggs';
@@ -147,20 +148,24 @@ $realname['dvdhrm'] = 'David Herrmann';
 $realname['egbert'] = 'Egbert Eich';
 $realname['egore'] = 'Christoph Brill';
 $realname['glisse'] = 'Jerome Glisse';
+$realname['guicam'] = 'Guilio Camuffo';
 $realname['fredrikh'] = 'Fredrik Höglund';
 $realname['fritsch'] = 'Peter Frühberger';
 $realname['ickle'] = 'Chris Wilson';
 $realname['idr'] = 'Ian Romanick';
 $realname['imirkin'] = 'Ilia Mirkin';
+$realname['imirkin_'] = 'Ilia Mirkin';
 $realname['jbarnes'] = 'Jesse Barnes';
 $realname['jcristau'] = 'Julien Cristau';
 $realname['jobermayr'] = 'Johannes Obermayr';
 $realname['joi'] = 'Marcin Ślusarz';
+$realname['juergbi'] = 'Jürgen Billeter';
 $realname['Kayden'] = 'Kenneth Graunke';
 $realname['keithp'] = 'Keith Packard';
 $realname['krh'] = 'Kristian Høgsberg';
 $realname['libv'] = 'Luc Verhaegen';
 $realname['lynxeye'] = 'Lucas Stach';
+$realname['mannerov'] = 'Axel Davy';
 $realname['mareko'] = 'Marek Olšák';
 $realname['marcheu'] = 'Stephane Marchesin';
 $realname['mattst88'] = 'Matt Turner';
@@ -169,7 +174,9 @@ $realname['mlankhorst'] = 'Maarten Lankhorst';
 $realname['MostAwesomeDude'] = 'Corbin Simpson';
 $realname['MrCooper'] = 'Michel Dänzer';
 $realname['olesalscheider'] = 'Niels Ole Salscheider';
+$realname['okias'] = 'David Heidelberger';
 $realname['omcfadde'] = 'Oliver McFadden';
+$realname['otaylor'] = 'Owen Taylor';
 $realname['pinchartl'] = 'Laurent Pinchart';
 $realname['pq'] = 'Pekka Paalanen';
 $realname['Prf_Jakob'] = 'Jakob Bornecrantz';