f986ce If the pull-request is closed and there is only one commit in it, make sure we include it

Authored and Committed by Pierre-Yves Chibon 9 years ago
    If the pull-request is closed and there is only one commit in it, make sure we include it
    
        
file modified
+4 -0