March 25, 2017
1:04 p.m.
Hi Christophe, On 23 March 2017 at 21:54, Christophe Demarey <christophe.demarey@inria.fr> wrote:
Hi Alex,
the master branch is quite old. Please use dev-0.4 branch with the latest stable VM.
Can you remove the dev-0.4 branch once it has been merged back on to master so we know that it should no longer be used? (There are quite a few branches in the repository, maybe some others could be removed as well?) Thanks! Alistair