| commit | 556026967563ca59a0531bcb8a510dfc00a86635 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 27 23:37:49 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 27 23:37:49 2001 +0000 |
| tree | 9ded5004c4513049354fd911029436f9d670a9e2 | |
| parent | 9aaee933da8ce390c8c34fc227054b2651264368 [diff] |
Added someone.
diff --git a/Misc/ACKS b/Misc/ACKS index 7362aa6..0d1e2c5 100644 --- a/Misc/ACKS +++ b/Misc/ACKS
@@ -223,6 +223,7 @@ Simon Johnston Richard Jones Lucas de Jonge +Jens B. Jorgensen John Jorgensen Andreas Jung Bob Kahn