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 2c3f83cdc..b0061b3dd 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -153,6 +153,7 @@ David Godfrey dave@delta.demon.co.uk
David Luyer david_luyer@pacific.net.au
David Madore david.madore@ens.fr
David Malone dwmalone@cnri.dit.ie
+David Matei matei@cs.toronto.edu
Davide Canova kc.canova@gmail.com
Dawson Engler engler@stanford.edu
Dean Gaudet dean-savannah@arctic.org