id summary reporter owner description type status priority component severity resolution keywords cc release 8577 NameError: when trying to delete a ticket anonymous Steffen Hoffmann "I got this error in trunk: {{{ Trac [/var/trac/tech]> ticket remove 4 NameError: global name 'page' is not defined }}} Hmm, couldn't copy/paste the patch here, so i will try to attach it as a file." defect closed normal AnnouncerPlugin normal fixed ticket TypeError 0.12