#562 Miscellaneous fixes to the PR page
Merged by pingou. Opened by pingou.
fix_pr  into  master

Download 562.patch
no initial comment

Looks good to me.

Metadata