0892c0e Drop comments about already-merged pull request

Authored and Committed by zbyszek 2 years ago
1 file changed. 3 lines added. 3 lines removed.
    Drop comments about already-merged pull request
    
    (cherry picked from commit e19aaa4604bff06ca6ab037032b574d338217a88)
    
        
file modified
+3 -3