From 6ae21de6f85d9629018c1b6bf912ef39f3e169fb Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 18 Feb 2021 16:22:40 -0800
Subject: [PATCH] Add Gereon to AUTHORS list. (#5930)

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS b/AUTHORS
index 073c1c67f..894f779f4 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,6 +11,7 @@ Current:
   Clark Barrett, New York University, Google, Stanford University
   Martin Brain, University of Oxford
   Ahmed Irfan, Stanford University
+  Gereon Kremer, Stanford University
   Makai Mann, Stanford University
   Abdalrhman Mohamed, The University of Iowa
   Mudathir Mohamed, The University of Iowa
-- 
2.30.2