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