From 775056ff089d4036060b327942f86c764fef81d9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 07:58:55 +0000
Subject: Trivial.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 98a0f4cc..9a6d6219 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -347,7 +347,7 @@ Paul Callaghan, Pierre Courtieu, and Markus Wenzel, and other folk who
 tested pre-releases or sent bug reports, including 
 Cuihtlauac Alvarado,
 Pascal Brisset,
-James Brotherston
+James Brotherston,
 Martin Buechi,
 Lucas Dixon,
 Matt Fairtlough, 
-- 
cgit v1.2.3