HomeClusterLabs Projects

Merge pull request #2661 from clumens/more-coverage

Description

Merge pull request #2661 from clumens/more-coverage

Remove some old coverage-related stuff

Details