Add few more names

1 files changed, 2 insertions, 0 deletions

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