March 20, 2015
7:17 p.m.
52. Much better! some are even already fixed (but not integrated) so we will be below 50 soon.
On 20 Mar 2015, at 10:11, Marcus Denker <marcus.denker@inria.fr> wrote:
68
On 19 Mar 2015, at 08:50, Marcus Denker <marcus.denker@inria.fr> wrote:
88.