From ecb0ea20cac0c5320bf6614092787ea1b1bdbb24 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Sat, 19 Jul 2008 15:42:49 +0200 Subject: [PATCH] * THANKS: Update, now that I have a name for jemm4jemm. --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index bff091755..5f3c5bd72 100644 --- a/THANKS +++ b/THANKS @@ -449,6 +449,7 @@ Piergiorgio Sartor sartor@sony.de Pieter Bowman bowman@math.utah.edu Piotr Kwapulinski kwap@univ.gda.pl Prashant TR tr@eth.net +Priit Jõerüüt jemm4jemm@yahoo.com Rainer Orth ro@TechFak.Uni-Bielefeld.DE Ralf W. Stephan stephan@tmt.de Ralf Wildenhues Ralf.Wildenhues@gmx.de -- 2.34.1