aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/THANKS b/docs/THANKS
index 646794b38..fc5c48a5e 100644
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -1129,6 +1129,7 @@ Michael Mueller
Michael Osipov
Michael Smith
Michael Stapelberg
+Michael Steuer
Michael Stillwell
Michael Wallner
Michal Bonino