From 83563c918af741c732b100849d5f7790f1f41490 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Tue, 17 Jun 2003 18:11:20 +0000 Subject: *** empty log message *** --- THANKS | 1 + 1 file changed, 1 insertion(+) (limited to 'THANKS') diff --git a/THANKS b/THANKS index b39834c9a..6ee80be2d 100644 --- a/THANKS +++ b/THANKS @@ -50,6 +50,7 @@ Bauke Jan Douma bjdouma@xs4all.nl Ben Elliston bje@air.net.au Ben Harris bjh21@netbsd.org Bengt Martensson bengt@mathematik.uni-Bremen.de +Bernard Giroud bernard.giroud@creditlyonnais.ch Bernd Leibing bernd.leibing@rz.uni-ulm.de Bernd Melchers melchers@cis.fu-berlin.de Bernhard Baehr bernhard.baehr@gmx.de -- cgit v1.2.3-70-g09d2