> On 05 Dec 2015, at 19:31, Marcus Denker <marcus.den...@inria.fr> wrote: > > >> 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!
Down to 638. Can *YOU* help to get it to 637? Marcus