aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--THANKS1
1 files changed, 0 insertions, 1 deletions
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