I can't remember what I'd originally asked about, but then decided to try and figure it out. Unfortunately, there's no option to delete a ticket.