8a81ebb allow use of coverage v7 (upstream already has this change in git) (#2157154)

Authored and Committed by spot a year ago
    allow use of coverage v7 (upstream already has this change in git) (#2157154)
    
        
file modified
+7 -0