diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/THANKS | 1 | ||||
| -rw-r--r-- | docs/THANKS-filter | 1 |
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/ |