diff --git a/AUTHORS b/AUTHORS index f7130325fa9..71432b57b10 100644 --- a/AUTHORS +++ b/AUTHORS @@ -150,6 +150,7 @@ Michael Elkins Michael Gehring Michael Hoisie Michael Lewis +Michael Stapelberg Michał Derkacz Miek Gieben Mikael Tillenius diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 48ac47e59dd..fef2faefe05 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -223,6 +223,7 @@ Michael Gehring Michael Hoisie Michael Lewis Michael Shields +Michael Stapelberg Michael T. Jones Michał Derkacz Miek Gieben