On Mon, 11 Nov 2013, Ondrej Bilka wrote: > These will be checked by bots and when there is a failure on closed bug it > will be reopened.
No, don't reopen old bugs unless it turns out the patch claimed to fix the bug didn't fix it at all, or needed to be reverted. Open new bugs when all you know is that the symptom is the same (but the cause is almost certainly different), and include a comment mentioning the previous fixed bug with the same symptom. -- Joseph S. Myers jos...@codesourcery.com