fa1dee When a PR gets updated, add a notification saying so

Authored and Committed by Pierre-Yves Chibon 9 years ago
    When a PR gets updated, add a notification saying so
    
        
file modified
+12 -0