adding more to thanks

2011-09-15 17:17:42 -04:00 · 2011-09-15 17:17:42 -04:00 · aa3e58a062
commit aa3e58a062
parent 778e8a34f6
1 changed files with 4 additions and 1 deletions
--- 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}
+))
 )