[Emacs-bug-tracker] bug#8886: closed (duplicate names in THANKS?)

[GNU bug Tracking System]

Your message dated Fri, 17 Jun 2011 22:52:35 +0100
with message-id <address@hidden>
and subject line Re: bug#8886: duplicate names in THANKS?
has caused the GNU bug report #8886,
regarding duplicate names in THANKS?
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
8886: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8886
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> duplicate names in THANKS?
>
>
>
>
> Date: 
>
> Fri, 17 Jun 2011 22:10:09 +0200
>
>
>
>
> User-agent: 
>
> KMail/1.13.3 (Linux/2.6.30-2-686; KDE/4.4.4; i686; ; )
>
>
>
>
> OK, this is just a silly cosmetic issue, but maybe you'd like to know
> about it anyway:
>
>   $ make THANKS
>     GEN    THANKS
>   ./thanks-gen: THANKS.in: duplicate name: Karl Berry
>   ./thanks-gen: THANKS.in: duplicate name: Karl Heuer
>   ./thanks-gen: THANKS.in: duplicate name: Stéphane Raimbault
>
>   $ grep 'Karl Berry' THANKS
>   Karl Berry                          address@hidden
>   Karl Berry                          address@hidden
>
> Regards,
>   Stefano
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: bug#8886: duplicate names in THANKS? Date: Fri, 17 Jun 2011 22:52:35 +0100 User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.8) Gecko/20100227 Thunderbird/3.0.3

On 17/06/11 21:10, Stefano Lattarini wrote:
> OK, this is just a silly cosmetic issue, but maybe you'd like to know
> about it anyway:
> 
>   $ make THANKS
>     GEN    THANKS
>   ./thanks-gen: THANKS.in: duplicate name: Karl Berry
>   ./thanks-gen: THANKS.in: duplicate name: Karl Heuer
>   ./thanks-gen: THANKS.in: duplicate name: Stéphane Raimbault

I'll apply the attached.

thanks!
Pádraig.

dupe-mails.diff
Description: Text Data

--- End Message ---