X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=AUTHORS;h=43f8258d291d83df913c38cf8e2180a6f8d9597d;hb=38c5696bd616816306e9ae43fcb1f735dea916f3;hp=2d79ae2b37eaf3fe97fa64cb178efaaf4ea9b282;hpb=932e369696f59f4aaf3a2d6e5ece37475548d68b;p=pintos-anon

diff --git a/AUTHORS b/AUTHORS
index 2d79ae2..43f8258 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -17,7 +17,10 @@ projects
 
 * The projects are derived from those designed for Nachos by current
   and former CS140 teaching assistants at Stanford University,
-  including at least the following people: Kelly Shaw <kashaw (at)
-  cs.stanford.edu>, Sameer Qureshi <squreshi@cs.stanford.edu>.
+  including at least the following people: Yu Ping
+  <yph@cs.stanford.edu>, Greg Hutchins, Kelly Shaw <kashaw (at)
+  cs.stanford.edu>, Paul Twohey <twohey AT cs DOT stanford DOT edu>,
+  Sameer Qureshi <squreshi@cs.stanford.edu>.  (If you're not on this
+  list but should be, please let me know.)
 
 * Updates for Pintos by Ben Pfaff <blp@cs.stanford.edu>.