diff --git a/AUTHORS b/AUTHORS index bada5e7174..29cc62b8f1 100644 --- a/AUTHORS +++ b/AUTHORS @@ -20,6 +20,7 @@ James Meneghello Josh Goebel Google Inc. Kevin Ballard +Michael Elkins Michael Hoisie Môshe van der Sterre Sergio Luis O. B. Correia diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 39b41bdb9d..c9c10502d2 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -52,6 +52,7 @@ Kai Backman Ken Thompson Kevin Ballard Larry Hosken +Michael Elkins Michael Hoisie Môshe van der Sterre Nigel Tao