Thank Jeffrin and David.

2 files changed, 2 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index 6d15973a72..e2b3881adb 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -15,4 +15,5 @@ alphabetical order):
         Aljosha Papsch <[email protected]>
           Cyril Roelandt <[email protected]>
            Alex Sassmannshausen <[email protected]>
+          David Thompson <[email protected]>
         Mark H. Weaver <[email protected]>
diff --git a/THANKS b/THANKS
index 2d3aeaec0b..95d92aa9d6 100644
--- a/THANKS
+++ b/THANKS
@@ -14,6 +14,7 @@ infrastructure help:
         John Darrington <[email protected]>
       Rafael Ferreira <[email protected]>
    Christian Grothoff <[email protected]>
+     Jeffrin Jose <[email protected]>
      Matthew Lien <[email protected]>
       Yutaka Niibe <[email protected]>
       Cyrill Schenkel <[email protected]>