Tidy up how uncovered files are handled#756
Merged
sebastianbergmann merged 1 commit intosebastianbergmann:masterfrom May 26, 2020
Merged
Tidy up how uncovered files are handled#756sebastianbergmann merged 1 commit intosebastianbergmann:masterfrom
sebastianbergmann merged 1 commit intosebastianbergmann:masterfrom