On Mon, Apr 13, 2015 at 3:03 PM, 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