From 8e5292dfb85a4fec2045c00cac5a59bd0c1b8183 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Sat, 19 Mar 2011 16:55:35 +0100 Subject: [PATCH] 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. --- THANKS.in | 1 - 1 file changed, 1 deletion(-) diff --git a/THANKS.in b/THANKS.in index fbc4153e9..2e039e3b5 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 -- 2.11.4.GIT