> If the response is > > - "works now", close the report > - "still broken", change the state to "open" > - "void", that is, no response at all, close the PR after three months. > > Mark, does this sounds sensible? Eminently. -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com