From a777fa91c9945af4c861a75b3ce7246265efd4d7 Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Tue, 7 Aug 2018 11:59:01 +0300
Subject: [PATCH] Update AUTHORS file

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

diff --git a/AUTHORS b/AUTHORS
index 72b0626..14d2b6e 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>
-- 
2.7.4