#312 Fix anchors on the pull-request page
Merged by pingou. Opened by pingou.
fix_anchors  into  master

Download 312.patch
no initial comment

Looks reasonable to me.

Metadata