Merge branch 'pull/master'
authorFlorian Forster <octo@huhu.verplant.org>
Sat, 13 Oct 2007 15:16:32 +0000 (17:16 +0200)
committerFlorian Forster <octo@huhu.verplant.org>
Sat, 13 Oct 2007 15:16:32 +0000 (17:16 +0200)

Trivial merge