package: fix a reporter's name

* THANKS, build-aux/git-log-fix: s/Bernd Edligner/Bernd Edlinger/.
This commit is contained in:
Akim Demaille
2015-01-04 17:57:30 +01:00
parent 827bc59ca1
commit 8386f6ef28
2 changed files with 4 additions and 1 deletions

2
THANKS
View File

@@ -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