From aa3e58a06252b348856ed59252e24bb74116ad91 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Thu, 15 Sep 2011 17:17:42 -0400
Subject: [PATCH] adding more to thanks

---
 scribblings/manual.scrbl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/scribblings/manual.scrbl b/scribblings/manual.scrbl
index 7e6c2c1..23c9a23 100644
--- a/scribblings/manual.scrbl
+++ b/scribblings/manual.scrbl
@@ -1843,5 +1843,8 @@ and suggesting improvements.
    @item{Greg Hendershott}
    @item{Shriram Krishnamurthi}
    @item{Emmanuel Schanzer}
-   @item{Robby Findler}))
+   @item{Robby Findler}
+   @item{Gregor Kiczales}
+   @item{Cristina Teodoropol}
+))
 )
\ No newline at end of file