> On 30 Nov 2015, at 13:21, marcus.den...@inria.fr wrote: > > Hi, > > The issue tracker has 658 open issues. This number is more or less constant. >
down to 642! (of course we closed more than that, we are at more than 6 per day closed, but the thing is that new ones get open, too) With >600 issues open, if someone adds a comment in the sense of “this can be closed”, can you send me (or the List) a mail? Or put the issue on “fixed” ? The problem is that with >600 issues, even an issue that is clearly commented as fixed has a very low chance of someone reading the note and closing the entry within any reasonable time frame if we rely on someone stumbling on it by chance... Marcus