Use covertool as a project_plugin, rather than plugin#284

michalmuskala wants to merge 1 commit intoproper-testing:masterproper-testing/proper:masterfrom

michalmuskala:patch-1michalmuskala/proper:patch-1Copy head branch name to clipboard