Update THANKS.

diff --git a/THANKS b/THANKS
index 1f91d053caf90443c12fabd7400db417ebeaecf3..70613bda99394a75ab223132d58663bae2d1f47a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -106,6 +106,7 @@ has been important. :-) In alphabetical order:
   - Jonathan Nieder
   - Andre Noll
   - Peter O'Gorman
+  - Dimitri Papadopoulos Orfanos
   - Daniel Packard
   - Filip Palian
   - Peter Pallinger