From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 24 Nov 2004 00:51:43 +0000 (+0000)
Subject: Fix spelling mistake in message.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=96d95e6605de12945100bba503031ad8d56d470a;hp=96d95e6605de12945100bba503031ad8d56d470a;p=pintos-anon

Fix spelling mistake in message.
---