a1280f Update the pull-requests git upon updates on the requests

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Update the pull-requests git upon updates on the requests
    
        
file modified
+13 -3
file modified
+9 -2