diff --git a/THANKS b/THANKS index 9a798653..a3bd7ad8 100644 --- 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