9e63a6 Fix the headers of the table listing all the pull-request

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Fix the headers of the table listing all the pull-request
    
    We had one less header than column in the table under and the header
    wasn't always reflecting the content.
    This commit fixes it.