From: Akim Demaille Date: Sun, 4 Jan 2015 16:57:30 +0000 (+0100) Subject: package: fix a reporter's name X-Git-Tag: v3.0.3~17 X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/8386f6ef2825b6de77bf6e94496619cc256ba57b?hp=827bc59ca118956fe84309e2ea3db6bfaabf374c package: fix a reporter's name * THANKS, build-aux/git-log-fix: s/Bernd Edligner/Bernd Edlinger/. --- diff --git a/THANKS b/THANKS index 095d3683..096e5edf 100644 --- 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 72111507..39bbbdb8 100644 --- 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/;