e19aaa Drop comments about already-merged pull request

Authored and Committed by Zbigniew Jędrzejewski-Szmek 2 years ago
1 file changed. 3 lines added. 3 lines removed.
    Drop comments about already-merged pull request
    
        
file modified
+3 -3