[sage-devel] How can I delete the patch files that I add to a ticket

It might be a trivial question but I merged two patch files that uploaded previously but I couldn't delete the old files here: http://trac.sagemath.org/sage_trac/ticket/12170 Sorry if it's trivial question -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe fro

[sage-devel] How can I delete the patch files that I add to a ticket

It might be a trivial question but I merged two patch files that uploaded previously but I couldn't delete the old files here: http://trac.sagemath.org/sage_trac/ticket/12170 Sorry if it's trivial question -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe fro