5a5153 Fix merging pull-request by using the proper repo having the new commits

Authored and Committed by Pierre-Yves Chibon 11 years ago
    Fix merging pull-request by using the proper repo having the new commits
    
        
file modified
+1 -0