From 66aa1fd7db219a051599e01ba9d5e8c030fa9334 Mon Sep 17 00:00:00 2001 From: Christoph Brill Date: Fri, 6 Sep 2013 09:45:44 +0200 Subject: Add another real name --- common.inc.php | 1 + 1 file changed, 1 insertion(+) diff --git a/common.inc.php b/common.inc.php index 6cde5c9..98a0c1c 100644 --- a/common.inc.php +++ b/common.inc.php @@ -137,6 +137,7 @@ $realname['glisse'] = 'Jerome Glisse'; $realname['ickle'] = 'Chris Wilson'; $realname['idr'] = 'Ian Romanick'; $realname['jcristau'] = 'Julien Cristau'; +$realname['jobermayr'] = 'Johannes Obermayr'; $realname['Kayden'] = 'Kenneth Graunke'; $realname['krh'] = 'Kristian Høgsberg'; $realname['libv'] = 'Luc Verhaegen'; -- cgit v1.2.3