From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 1 Sep 2004 03:58:03 +0000 (+0000)
Subject: Fix PRDSNu.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aa9a8ed3132ec405c8362b3fddf3868871fb7993;hp=aa9a8ed3132ec405c8362b3fddf3868871fb7993;p=pintos-anon

Fix PRDSNu.
---