THANKS: missing name from the 6.3.1 release!

diff --git a/docs/THANKS b/docs/THANKS
index 646794b3875ec2dc3ebfdf43c0f718d73433be06..fc5c48a5ebda82fe2a51e11d6289610b742b2c72 100644 (file)
--- 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