From f0e8f13ead3dafce2b776d4ee11321d737216ff4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C3=A1draig=20Brady?=
Date: Fri, 17 Jun 2011 22:48:22 +0100 Subject: [PATCH] maint: remove duplicate names from THANKS * .mailmap: Merge email addresses * THANKS.in: Remove a duplicate name Reported by Stefano Lattarini --- .mailmap | 2 ++ THANKS.in | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.mailmap b/.mailmap index e3d7a2701..8b6231763 100644 --- a/.mailmap +++ b/.mailmap @@ -23,6 +23,8 @@ Pádraig Brady