1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index 95427f9beed..d15cafa987c 100644
--- a/THANKS
+++ b/THANKS
@@ -16,6 +16,7 @@ infrastructure help:
              John Darrington <jmd@gnu.org>
            Rafael Ferreira <rafael.f.f1@gmail.com>
         Christian Grothoff <christian@grothoff.org>
+          Brandon Invergo <brandon@gnu.org>
           Jeffrin Jose <ahiliation@yahoo.co.in>
              Kete <kete@ninthfloor.org>
              Alex Kost <alezost@gmail.com>