aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/THANKS1
-rw-r--r--docs/THANKS-filter1
2 files changed, 1 insertions, 1 deletions
diff --git a/docs/THANKS b/docs/THANKS
index fc5c48a5e..8534a999b 100644
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -616,7 +616,6 @@ Greg Zavertnik
Gregory Szorc
Grigory Entin
Guenole Bescon
-Guenter Knauf
Guido Berhoerster
Guillaume Arluison
Gunter Knauf
diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 00d42bce9..1369533db 100644
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -82,3 +82,4 @@ s/kdekker/Kees Dekker/
s/Daniel Jelinski/Daniel Jeliński/
s/Dario Weisser/Dario Weißer/
s/Github user @jakirkham/jakirkham on github/
+s/Guenter Knauf/Gunter Knauf/