package: fix a reporter's name

* THANKS, build-aux/git-log-fix: s/Bernd Edligner/Bernd Edlinger/.

diff --git a/THANKS b/THANKS
index 095d368396a1c8868276b0628cb521013dc5a87e..096e5edf4a57bef7d5d8424a6b5864d219a87b2c 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -16,7 +16,7 @@ Art Haas                  ahaas@neosoft.com
 Baron Schwartz            baron@sequent.org
 Ben Pfaff                 blp@cs.stanford.edu
 Benoit Perrot             benoit.perrot@epita.fr
-Bernd Edligner            bernd.edlinger@hotmail.de
+Bernd Edlinger            bernd.edlinger@hotmail.de
 Bernd Kiefer              kiefer@dfki.de
 Bert Deknuydt             Bert.Deknuydt@esat.kuleuven.ac.be
 Bill Allombert            Bill.Allombert@math.u-bordeaux1.fr

diff --git a/build-aux/git-log-fix b/build-aux/git-log-fix
index 72111507b3b9cd71a2316c5936a878987b85e26b..39bbbdb89c069e8726a338527aa74e48d91f5e96 100644 (file)
--- a/build-aux/git-log-fix
+++ b/build-aux/git-log-fix
@@ -2,6 +2,9 @@
 # option.  It specifies what changes to make to each given SHA1's commit
 # log and metadata, using Perl-eval'able expressions.
 
+975bb564319aa4f4204c48aba265757ba207a80f
+s/Edligner/Edlinger/;
+
 0db2648930e3b6c376a539aabe368aade83ee29a
 s/--flags/--feature/;
 s/flag_flag/feature_flag/;