> 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
