diff options
author | Glenn Morris <rgm@gnu.org> | 2016-11-23 14:19:31 -0500 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2016-11-23 14:19:31 -0500 |
commit | 7f43d7c0101256b120ead3ddae6ee47327d231c9 (patch) | |
tree | 949c3b177f85c2541ceb53cde5f897f3739b233f /admin | |
parent | ba488800d9c72a665c758b3c0ce742d1ef9721f4 (diff) | |
download | emacs-7f43d7c0101256b120ead3ddae6ee47327d231c9.tar.gz |
* admin/authors.el (authors-aliases): Add an entry.
Diffstat (limited to 'admin')
-rw-r--r-- | admin/authors.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/authors.el b/admin/authors.el index fe1b26ffbe6..54c23207fee 100644 --- a/admin/authors.el +++ b/admin/authors.el @@ -50,6 +50,7 @@ files.") ("Álvar Jesús Ibeas Martín" "Álvar Ibeas") ("Andrew Csillag" "Drew Csillag") ("Anna M. Bigatti" "Anna Bigatti") + ("Aurélien Aptel" "Aurelien Aptel") ("Barry A. Warsaw" "Barry A. Warsaw, Century Computing, Inc." "Barry A. Warsaw, ITB" "Barry Warsaw") ("Bill Carpenter" "WJ Carpenter") |