* admin/authors.el: Add an author alias.

diff --git a/admin/authors.el b/admin/authors.el
index d046eb59eb2fdbb2062221ac1fcca500b8cc4f84..fd17a3394d8729156318ebcaedb1a176861ded33 100644 (file)
--- a/admin/authors.el
+++ b/admin/authors.el
@@ -211,6 +211,7 @@ files.")
     ("Nitish Chinta" "nitishch")
     ("Carlos Pita" "memeplex")
     ("Vinicius Jose Latorre" "viniciusjl")
+    ("Gaby Launay" "galaunay")
     )
   "Alist of author aliases.