From: Ben Pfaff <blp@gnu.org>
Date: Sun, 25 Sep 2005 23:23:10 +0000 (+0000)
Subject: Fix two minor packaging bugs reported by James R. Van Zandt.
X-Git-Tag: sav-api~2225
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3912bd1b44a4fa8dc28c873ddec7915045d0c55e;hp=3912bd1b44a4fa8dc28c873ddec7915045d0c55e;p=pspp

Fix two minor packaging bugs reported by James R. Van Zandt.
---