From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 30 May 2017 02:41:54 +0000 (-0700)
Subject: Minor improvements.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c10bff4da438d2785409636677223cec18347647;hp=c10bff4da438d2785409636677223cec18347647;p=pspp

Minor improvements.
---