3296f0d Forbid edit of closed pull-request

Authored and Committed by pingou 8 years ago
    Forbid edit of closed pull-request
    
        
file modified
+3 -0