Add more real names

1 files changed, 3 insertions, 0 deletions

diff --git a/common.inc.php b/common.inc.php
index f6d5de8..6cde5c9 100644
--- a/common.inc.php
+++ b/common.inc.php
@@ -140,6 +140,7 @@ $realname['jcristau'] = 'Julien Cristau';
 $realname['Kayden'] = 'Kenneth Graunke';
 $realname['krh'] = 'Kristian Høgsberg';
 $realname['libv'] = 'Luc Verhaegen';
+$realname['lynxeye'] = 'Lucas Stach';
 $realname['mareko'] = 'Marek Olšák';
 $realname['marcheu'] = 'Stephane Marchesin';
 $realname['mattst88'] = 'Matt Turner';
@@ -153,6 +154,7 @@ $realname['pinchartl'] = 'Laurent Pinchart';
 $realname['pq'] = 'Pekka Paalanen';
 $realname['Prf_Jakob'] = 'Jakob Bornecrantz';
 $realname['robclark'] = 'Rob Clark';
+$realname['seanpaul'] = 'Sean Paul';
 $realname['soreau'] = 'Scott Moreau';
 $realname['stereotype441'] = 'Paul Berry';
 $realname['stringfellow'] = 'Henry Verbeet';
@@ -160,6 +162,7 @@ $realname['suokko'] = 'Pauli Nieminen';
 $realname['tstellar'] = 'Tom Stellard';
 $realname['vadimg'] = 'Vadim Girlin';
 $realname['vlj'] = 'Vincent Lejeune';
+$realname['vsyrjala'] = 'Ville Syrjälä';
 
 $ignore = array();
 array_push($ignore, 'joss193');