#471 Forward the head to the commits page to fix the pull-request button
Merged by pingou. Opened by pingou.
fix_pr_button  into  master

Download 471.patch
no initial comment

looks good to me.

Metadata