From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 18 Nov 2009 18:10:48 +0000 (+0100)
Subject: Fix property erroneously altered in commit a9a69251edd625a50f271af5d64c157533b5fe48
X-Git-Tag: sid-i386-build122~20
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c55841266a4d42da7da89235aa54a7fa0ac488dc;hp=c55841266a4d42da7da89235aa54a7fa0ac488dc;p=pspp-builds.git

Fix property erroneously altered in commit a9a69251edd625a50f271af5d64c157533b5fe48
---