Re: [boost] when can a trac ticket be considered closed