diff --git a/THANKS b/THANKS
index 38e12649625..9e1860383da 100644
--- a/THANKS
+++ b/THANKS
@@ -561,7 +561,6 @@ were extracted from old commits):
 - maikash
 - make_the_king
 - Malcrom
-- Manuel
 - ManuFe
 - marc0303
 - Marco Ebert