From: Ben Pfaff <blp@gnu.org>
Date: Tue, 2 Feb 2010 04:25:45 +0000 (-0800)
Subject: Merge commit 'v0.6.2' into stable
X-Git-Tag: fc11-i386-build87^0
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aa17cb73df7b83d951f58b8594571b22c1658141;p=pspp-builds.git

Merge commit 'v0.6.2' into stable
---

aa17cb73df7b83d951f58b8594571b22c1658141