THANKS-filter: unify Michael König

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index ad44b68a9d17f5188dd200b17d3ae79e5ca8df83..23ad5fab225e5a6a16856091bb9d643dd33eb886 100644 (file)
--- 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/