diff options
| -rw-r--r-- | docs/THANKS | 1 |
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 |