March 22, 2015
6:29 p.m.
44!
On 20 Mar 2015, at 20:17, Marcus Denker <marcus.denker@inria.fr> wrote:
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.