summaryrefslogtreecommitdiff
path: root/THANKS.in
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS.in')
-rw-r--r--THANKS.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS.in b/THANKS.in
index 6353708f0..23ac67920 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -139,6 +139,7 @@ David Alan Gilbert gilbertd@treblig.org
David Dyck dcd@tc.fluke.COM
David Eisner cradle@umd.edu
David Flynn dav@chess.plus.com
+David Gast dgast@csulb.edu
David Godfrey dave@delta.demon.co.uk
David Luyer david_luyer@pacific.net.au
David Madore david.madore@ens.fr