diff options
Diffstat (limited to 'docs/THANKS-filter')
| -rw-r--r-- | docs/THANKS-filter | 1 |
1 files changed, 1 insertions, 0 deletions
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/ |