From 5a9fbeab8ee5965400d3b80b81fcdbeeeceb290b Mon Sep 17 00:00:00 2001
From: David Kastrup <dak@gnu.org>
Date: Wed, 30 Jun 2010 13:52:09 +0200
Subject: [PATCH] =?utf8?q?Docs:=20authors.itexi:=20remove=20double=20menti?=
 =?utf8?q?on=20of=20Benk=C5=91=20P=C3=A1l?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 Documentation/included/authors.itexi | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Documentation/included/authors.itexi b/Documentation/included/authors.itexi
index 71d1b9276f..68524076d0 100644
--- a/Documentation/included/authors.itexi
+++ b/Documentation/included/authors.itexi
@@ -139,6 +139,7 @@ Bug meister
 @c use commas not colons
 
 Pál Benkő,
+@c @email{benkop@@freestart.hu},
 Frédéric Bron,
 Hajo Dezelski,
 Richard Gay,
@@ -235,8 +236,6 @@ Erlend Aasland,
 Maximilian Albert,
 Guido Amoruso,
 Kristof Bastiaensen,
-Pal Benko,
-@c @email{benkop@@freestart.hu},
 Juliusz Chroboczek,
 @c @email{jch@@pps.jussieu.fr},
 Angelo Contardi,
-- 
2.39.5