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 defd60512..6eb6d5c9c 100644 --- a/docs/THANKS-filter +++ b/docs/THANKS-filter @@ -68,3 +68,4 @@ s/Jean-Philippe Barette-LaPierre$/Jean-Philippe Barrette-LaPierre/ s/Joern Hartroth$/Jörn Hartroth/ s/Hongli Lai (Phusion)$/Hongli Lai/ s/github user 'kreshano'$/kreshano on github/ +s/Marc Hoersken$/Marc Hörsken/ |