• Merge remote-tracking branch 'upstream/dev'. Fix #138

    SimonSapin committed Jun 15, 2015