summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 87ba889e..500f0477 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -277,6 +277,7 @@ Mark Weiser <weiser@ubiq.com>
Martin Hirzel <hirzel@cs.colorado.edu>
Martin Koeppe <mkoeppe@gmx.de>
Martin Tauchmann <martintauchmann@bigfoot.com>
+Massimiliano Gubinelli <m.gubinelli@gmail.com>
Matt Austern <austern@google.com>
Matthew Flatt <mflatt@plt-scheme.org>
Matthias Andree <matthias.andree@gmx.de>