On 24 Jan 2014, at 10:18, Marcus Denker <
marcus.denker@inria.fr
> wrote:
In beta normally we should not change things that require people to change again code...
Then do not integrate them ...
Ben