Merge branch 'master' into dev
authorPaul Mackerras <redacted>
Mon, 31 Dec 2007 01:49:22 +0000 (12:49 +1100)
committerPaul Mackerras <redacted>
Mon, 31 Dec 2007 01:49:22 +0000 (12:49 +1100)

Trivial merge
git clone https://git.99rst.org/PROJECT