diff options
| -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 ad44b68a9..23ad5fab2 100644 --- a/docs/THANKS-filter +++ b/docs/THANKS-filter @@ -52,3 +52,4 @@ s/Jonathan Cardoso/Jonathan Cardoso Machado/ s/Linus Nielsen/Linus Nielsen Feltzing/ s/Todd Ouska$/Todd A Ouska/ s/Tim Ruehsen/Tim Rühsen/ +s/Michael Koenig/Michael König/ |