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 <[email protected]>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 [email protected]
> To unsubscribe from this group, send an email to
> [email protected]
> 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 [email protected]
To unsubscribe from this group, send an email to 
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to