From 4febcfe13687a570a0d22b0c50930a8e1812dfbe Mon Sep 17 00:00:00 2001 From: Christoph Brill Date: Tue, 20 Jan 2015 22:12:10 +0100 Subject: Add few more names --- common.inc.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/common.inc.php b/common.inc.php index 0ca0b1f..28da59f 100644 --- a/common.inc.php +++ b/common.inc.php @@ -187,11 +187,13 @@ $realname['Prf_Jakob'] = 'Jakob Bornecrantz'; $realname['robclark'] = 'Rob Clark'; $realname['RSpliet'] = 'Roy Spliet'; $realname['seanpaul'] = 'Sean Paul'; +$realname['siro'] = 'Patrick Rudolph'; $realname['soreau'] = 'Scott Moreau'; $realname['spstarr'] = 'Shawn Starr'; $realname['stereotype441'] = 'Paul Berry'; $realname['stringfellow'] = 'Henry Verbeet'; $realname['suokko'] = 'Pauli Nieminen'; +$realname['tizbac'] = 'Tiziano Bacocco'; $realname['tstellar'] = 'Tom Stellard'; $realname['vadimg'] = 'Vadim Girlin'; $realname['vlj'] = 'Vincent Lejeune'; -- cgit v1.2.3