Merge branch 'master' into v0.8
authorJean-Philippe Orsini <jeanfi@gmail.com>
Thu, 10 Apr 2014 06:36:00 +0000 (08:36 +0200)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Thu, 10 Apr 2014 06:36:00 +0000 (08:36 +0200)

Trivial merge