diff --git a/AUTHORS b/AUTHORS index 6e9da9fd7..cdf736ded 100644 --- a/AUTHORS +++ b/AUTHORS @@ -13,19 +13,23 @@ Thanks for contributions from - Andreas Mueller - Baudouin Raoult - Florian Rathgeber +- Marek Wlasak +- Oliver Lomax +- Daniel Holdaway - Daan Degrauwe -- Gianmarco Mengaldo - Philippe Marguinaud +- Gianmarco Mengaldo - James Hawkes - Mats Hamrud -- Christian Kuehnlein +- Benjamin Menetrier - Rahul Mahajan - Olivier Iffrig +- Christian Kuehnlein - Iain Russell -- Benjamin Menetrier - Domokos Sármány -- Yannick Trémolet +- Steven Vahl - Mark J. Olah - Michael Lange -- Marek Wlasak - Peter Bispham +- Slavko Brdar +- Yannick Trémolet diff --git a/tools/generate-authors.py b/tools/generate-authors.py index 1d4b405ab..1384bca97 100755 --- a/tools/generate-authors.py +++ b/tools/generate-authors.py @@ -14,9 +14,13 @@ def real_name(name): # Because some contributors use different names or aliases alias = { - "cosunae" : "Carlos Osuna", - "carlos osuna" : "Carlos Osuna", - "mengaldo" : "Gianmarco Mengaldo" + "cosunae" : "Carlos Osuna", + "carlos osuna" : "Carlos Osuna", + "mengaldo" : "Gianmarco Mengaldo", + "svahl991" : "Steven Vahl", + "benjaminmenetrier" : "Benjamin Menetrier", + "danholdaway" : "Daniel Holdaway", + "MarekWlasak" : "Marek Wlasak", } if name in alias: return alias[name]