Merge branch 'master' of plugins/coverage