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