THANKS: added two missing names and removed a duplicate

./contributors.sh found these extra ones that somehow had fallen
through the cracks and never gotten added here.

Reported-by: Frank Gevaerts

diff --git a/docs/THANKS b/docs/THANKS
index 272f04ad237afd4d2e91b67b4b5f2adee6866d7a..48cdd8337465f946c79eb85076331456c8fde2cc 100644 (file)
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -170,7 +170,6 @@ Carlo Wood
 Carsten Lange
 Casey O'Donnell
 Catalin Patulea
-Cedric Deltheil
 Chad Monroe
 Chandrakant Bagul
 Charles Kerr
@@ -373,6 +372,7 @@ Florian Schoppmann
 Florian Weimer
 Forrest Cahoon
 Francois Charlier
+Frank Gevaerts
 Frank Hempel
 Frank Keeney
 Frank McGeough
@@ -1131,6 +1131,7 @@ Tim Costello
 Tim Harder
 Tim Heckman
 Tim Newsome
+Tim Ruehsen
 Tim Sneddon
 Tim Starling
 Timo Sirainen