version 0.11.1
Merge remote-tracking branch 'pablo/master' into devel
fix handling subcoverage error