Update THANKS

(cherry picked from commit b0bb84dd7bbdcc85243386a0051c7b2cb5fc6a18)

diff --git a/THANKS b/THANKS
index 9a798653063e747a91531d3c78278f49b462ade6..a3bd7ad83bbead2860241af013b64a09360780e1 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