convert Trac ticket id to string for X-Trac-Ticket-ID email header (fixes #1713)
Authored by: mgood 2005-06-24
Parent: [r1854]
Child: [r1856]