diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 6b23c1d8eb..64ec4f2ece 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -272,6 +272,7 @@ Michael Elkins Michael Gehring Michael Hoisie Michael Lewis +Michael Matloob Michael Shields Michael Stapelberg Michael T. Jones