Update THANKS

diff --git a/THANKS b/THANKS
index 1d1696953bd0bb1a37afc1f7a9aaa475fff93e45..c5e34cd37416aa1a1a5bafa22fc2e11355d54f0b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -40,6 +40,7 @@ has been important. :-) In alphabetical order:
   - Andrew Dudman
   - Markus Duft
   - İsmail Dönmez
+  - Dexter Castor Döpping
   - Paul Eggert
   - Robert Elz
   - Gilles Espinasse