I didn't want to imply that the coverage scripts should go away, but having them in a central cmake library package indeed sounds better.
Looks fine, thanks!
« Back to merge proposal
I didn't want to imply that the coverage scripts should go away, but having them in a central cmake library package indeed sounds better.
Looks fine, thanks!