diff options
author | Jim Meyering <meyering@redhat.com> | 2011-03-19 16:55:35 +0100 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2011-03-20 16:05:23 +0100 |
commit | 8e5292dfb85a4fec2045c00cac5a59bd0c1b8183 (patch) | |
tree | 6e885f29902f4032de97a076d97b4540857f4d5f /THANKS.in | |
parent | 7a804b9af4084990a4116964eefb43b2ace4e44a (diff) | |
download | coreutils-8e5292dfb85a4fec2045c00cac5a59bd0c1b8183.tar.xz |
maint: remove a name from THANKS.in that is derived from git log
The names in THANKS are generated from two sources: the hard-coded
list, THANKS.in, and the names of committers from the git log.
When a contributor on the hard-coded list commits a change,
we remove their now-redundant name from THANKS.in.
* THANKS.in: Remove a now-duplicate name.
Diffstat (limited to 'THANKS.in')
-rw-r--r-- | THANKS.in | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -207,7 +207,6 @@ Geoff Whale geoffw@cse.unsw.EDU.AU Gerald Pfeifer gerald@pfeifer.com Gerhard Poul gpoul@gnu.org Germano Leichsenring germano@jedi.cs.kobe-u.ac.jp -Gilles Espinasse g.esp@free.fr Glen Lenker glen.lenker@gmail.com Göran Uddeborg goeran@uddeborg.se Guochun Shi gshi@ncsa.uiuc.edu |