diff options
author | Christoph Brill <opensource@christophbrill.de> | 2024-02-10 23:31:56 +0100 |
---|---|---|
committer | Christoph Brill <opensource@christophbrill.de> | 2024-02-10 23:31:56 +0100 |
commit | d48afa658a4df6bc1ad56230b01c887627656ee2 (patch) | |
tree | 63d655e0a0ba963a044b677150e3a3855bff4cae | |
parent | 3308f51f94448a16eee5ab9c05df5762cce9cf20 (diff) |
-rw-r--r-- | common.inc.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/common.inc.php b/common.inc.php index 156d75c..bb87b59 100644 --- a/common.inc.php +++ b/common.inc.php @@ -207,6 +207,7 @@ $realname['ajax'] = 'Adam Jackson'; $realname['alanc'] = 'Alan Coopersmith'; $realname['anholt'] = 'Eric Anholt'; $realname['arekm'] = 'Arkadiusz Miskiewicz'; +$realname['austriancoder'] = 'Christian Gmeiner'; $realname['bbrezillon'] = 'Boris Brezillon'; $realname['bnieuwenhuizen'] = 'Bas Nieuwenhuizen'; $realname['bryce'] = 'Bryce Harrington'; @@ -224,6 +225,7 @@ $realname['daniels'] = 'Daniel Stone'; $realname['danvet'] = 'Daniel Vetter'; $realname['danvet_'] = 'Daniel Vetter'; $realname['darktama'] = 'Ben Skeggs'; +$realname['DavidHeidelberg'] = 'David Heidelberg'; $realname['dberkholz'] = 'Donnie Berkholz'; $realname['dboyan'] = 'Boyan Ding'; $realname['dvdhrm'] = 'David Herrmann'; @@ -300,6 +302,7 @@ $realname['whot'] = 'Peter Hutterer'; $realname['Wizzup'] = 'Merlijn Wajer'; $realname['xexaxo'] = 'Emil Velikov'; $realname['xexaxo1'] = 'Emil Velikov'; +$realname['z3ntu'] = 'Luca Weiss'; $realname['zgreg'] = 'Grigori Goronzy'; $realname['zgreg_'] = 'Grigori Goronzy'; |