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: sav-api~821^2~7
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=77612c9127e474daf7f06ba4dce7935b8eaf4052;p=pspp

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

77612c9127e474daf7f06ba4dce7935b8eaf4052