13e11c2 Don't warn about permanently missing coverage

Authored and Committed by Alois Mahdal 4 years ago
    Don't warn about permanently missing coverage
    
    There's always permanently missing coverage, so things like this should
    be done via task or a FIXME.
    
        
file modified
+2 -1