Merge remote branch 'mike/master'
authorOlivier Migeot <olivier@migeot.org>
Tue, 12 Apr 2011 11:55:43 +0000 (13:55 +0200)
committerOlivier Migeot <olivier@migeot.org>
Tue, 12 Apr 2011 11:55:43 +0000 (13:55 +0200)

Trivial merge