diff options
Diffstat (limited to 'docs')
-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 1c6f3986b..1e952eb6c 100644 --- a/docs/THANKS-filter +++ b/docs/THANKS-filter @@ -70,3 +70,4 @@ s/Hongli Lai (Phusion)$/Hongli Lai/ s/github user 'kreshano'$/kreshano on github/ s/Marc Hoersken$/Marc Hörsken/ s/Martin Storsjo$/Martin Storsjö/ +s/Jiri Malak$/Jiří Malák/ |