On Fri, Sep 25, 2009 at 1:42 PM, Jason Merrill <ja...@redhat.com> wrote:
>
>> other than having been merged into trunk (for example, it may have been
>> replaced by another branch without all changes being merged into trunk).
>
> My inclination would be to delete branches like that as well.

that sounds a sensible thing to do.

Reply via email to