Aug. 24, 2015
2:44 p.m.
2015-08-24 16:32 GMT+02:00 Marcus Denker <marcus.denker@inria.fr>:
solves loading Sven test packages. Marcus, can you try on yours?
Yes! Very good!
Slice pushed to 16358. We'll see what the tests say. Why has it started to fail? All the involved code is old. Thierry
Marcus