d746d1 Adjust the label to be ``PR#<id>`` rather than ``See PR``

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Adjust the label to be ``PR#<id>`` rather than ``See PR``