From: Jim Meyering Date: Sat, 19 Mar 2011 15:55:35 +0000 (+0100) Subject: maint: remove a name from THANKS.in that is derived from git log X-Git-Tag: v8.11~40 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e5292dfb85a4fec2045c00cac5a59bd0c1b8183;p=thirdparty%2Fcoreutils.git 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. --- diff --git a/THANKS.in b/THANKS.in index fbc4153e91..2e039e3b52 100644 --- a/THANKS.in +++ b/THANKS.in @@ -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