0.12dev: Always make the "Ticket #..." heading on the ticket page a link. Thanks to Joshua Hoke for the patch.
0.12dev: Always make the "Ticket #..." heading on the ticket page a link. Thanks to Joshua Hoke for the patch.

Closes #8765.

pkdevbox/trac,pkdevbox/trac,pkdevbox/trac,pkdevbox/trac