]> git.ipfire.org Git - thirdparty/coreutils.git/commit
maint: remove duplicate names from THANKS
authorPádraig Brady <P@draigBrady.com>
Fri, 17 Jun 2011 21:48:22 +0000 (22:48 +0100)
committerPádraig Brady <P@draigBrady.com>
Fri, 17 Jun 2011 21:48:22 +0000 (22:48 +0100)
commitf0e8f13ead3dafce2b776d4ee11321d737216ff4
tree772bd7b2386c8a5c9da9ed2d46ae45a0ba5e0ab7
parent23ddefd3d151fa20169ffb939b8b4b619af88c27
maint: remove duplicate names from THANKS

* .mailmap: Merge email addresses
* THANKS.in: Remove a duplicate name
Reported by Stefano Lattarini
.mailmap
THANKS.in