Merge remote-tracking branch 'origin/master' into v0.8
authorJean-Philippe Orsini <jeanfi@gmail.com>
Tue, 15 Apr 2014 12:39:08 +0000 (14:39 +0200)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Tue, 15 Apr 2014 12:39:08 +0000 (14:39 +0200)
commitb334e64586b01449d33f2fa2ed727918d211457f
tree9fd53b2e6035220bf4c8270c96f97907b0c973f8
parentfb670819e124efb8e91e24c04c6e9ad59586dcdc
parent9f88c95348e67c5ef39ce50904b57d8beadc26cc
Merge remote-tracking branch 'origin/master' into v0.8