Dec. 5, 2015
6:31 p.m.
On 30 Nov 2015, at 13:21, marcus.denker@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