projects / platform / upstream / libgc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 56fd479)
Update AUTHORS file
authorIvan Maidanski <ivmai@mail.ru>
Tue, 7 Aug 2018 08:59:01 +0000 (11:59 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 7 Aug 2018 08:59:01 +0000 (11:59 +0300)
AUTHORS patch | blob | history

diff --git a/AUTHORS b/AUTHORS
index 72b0626..14d2b6e 100644 (file)
--- 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>
Domain: System / Toolchain;