I would like this as well.  I don't know if files attached to a trac ticket
keep track of who added them though; if not there are some technical hurdles
to overcome.
David

On Tue, Jun 14, 2011 at 17:51, Christian Stump <christian.st...@gmail.com>wrote:

> Hi,
>
> I wonder if there could be the option to delete (your own, unneeded)
> files from trac tickets. This is particularly important as the
> buildbot still gets totally confused if there are files which should
> not be applied. Even if I tell the buildbot which files to apply.
>
> Is there any reason (theoretical or technical) for not having such a
> feature?
>
> Thanks, Christian
>
> --
> To post to this group, send an email to sage-devel@googlegroups.com
> To unsubscribe from this group, send an email to
> sage-devel+unsubscr...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/sage-devel
> URL: http://www.sagemath.org
>

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to