From: Ivan Maidanski <ivmai@mail.ru>
Date: Tue, 7 Aug 2018 08:59:01 +0000 (+0300)
Subject: Update AUTHORS file
X-Git-Tag: v8.0.0~29
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a777fa91c9945af4c861a75b3ce7246265efd4d7;p=gc

Update AUTHORS file
---

diff --git a/AUTHORS b/AUTHORS
index 72b06266..14d2b6e6 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -266,6 +266,7 @@ Mark Reichert <markr@sirs.com>
 Mark Sibly
 Mark Weiser <weiser@ubiq.com>
 Martin Hirzel <hirzel@cs.colorado.edu>
+Martin Koeppe <mkoeppe@gmx.de>
 Martin Tauchmann <martintauchmann@bigfoot.com>
 Matt Austern <austern@google.com>
 Matthew Flatt <mflatt@plt-scheme.org>