5349854cd7a5c3ddc2821c431829e0b3eb027fdb
The cover directory holds autogenerated coverage reports that should not be checked into git and should therefore go in the gitignore file. Change-Id: I4f7225b5422493f99bc534d6ac622e0703781e6d
Description
RETIRED, further work has moved to Debian project infrastructure