diff --git a/docs/THANKS b/docs/THANKS index 646794b387..fc5c48a5eb 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