0.12dev: Always make the "Ticket #..." heading on the ticket page a link. Thanks to Joshua Hoke for the patch.
Closes #8765.
Authored by: rblank 2009-10-22
Parent: [r8686]
Child: [r8688]
