[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#8886: duplicate names in THANKS?
|
From: |
Pádraig Brady |
|
Subject: |
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