Require code coverage not decrease at "make dist" time
Submitted by Travis Reitter
Assigned to fol..@..e.bugs
Link to original bug (#720007)
Description
This will let us gradually improve our code coverage without making it too painful of an immediate burden.
See Stef Walter's git-coverage
Version: git master