From 69d24fe4067c133f1b281beb78d58d4c3f845963 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Fri, 16 Sep 2011 13:29:36 -0400
Subject: [PATCH] doc

---
 scribblings/manual.scrbl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scribblings/manual.scrbl b/scribblings/manual.scrbl
index 8ef7f02..95db961 100644
--- a/scribblings/manual.scrbl
+++ b/scribblings/manual.scrbl
@@ -1856,5 +1856,6 @@ and suggesting improvements.
    "Robby Findler"
    "Gregor Kiczales"
    "Cristina Teodoropol"
+   "Matthew Flatt"
 ) string<?))
 )
\ No newline at end of file