Add another real name

1 files changed, 1 insertions, 0 deletions

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