aboutsummaryrefslogtreecommitdiff
path: root/docs/THANKS-filter
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2016-03-10 14:10:05 +0100
committerDaniel Stenberg <daniel@haxx.se>2016-03-10 14:10:05 +0100
commiteab769518ec03ec21a8f14790322194dd5b6cd95 (patch)
tree2ac371dedd0edbfa6b83436dab68666ddea0b3f8 /docs/THANKS-filter
parent53e2ca6896434d8d8cc4dd446e93a793716809ea (diff)
THANKS-filter: unify Michael König
Diffstat (limited to 'docs/THANKS-filter')
-rw-r--r--docs/THANKS-filter1
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/