On 13 Apr 2015, at 15:03, Marcus Denker <marcus.denker@inria.fr> wrote:Hi,
We have to generate a new .source file. We will do that for 40606.
This means that there will be two versions of 40606: one that has a V3 Sources and one with a V4 source.
To not get confused, the best is to wait for 607.
Marcus