From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 10 Jan 2009 00:11:53 +0000 (+0900)
Subject: Merge commit 'origin/master'; commit 'savannah/master'
X-Git-Tag: v0.7.1~1^2~7
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=commitdiff_plain;h=77612c9127e474daf7f06ba4dce7935b8eaf4052

Merge commit 'origin/master'; commit 'savannah/master'
---

77612c9127e474daf7f06ba4dce7935b8eaf4052