On Fri, Sep 25, 2009 at 1:42 PM, Jason Merrill <jason@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.