Closed jmckenna closed 3 years ago
Let's cleanup some of these tickets, I think this ticket is a duplicate, as all of the Trac-to-GitHub-ticket work is done in other tickets. Are others ok if I close this ticket?
I am in favor of closing this ticket and ticket cleanup.
+1 for closing this ticket and cleanup.
+1 for closing the ticket and cleanup