March 29, 2017
7:38 a.m.
Hi,
Le 25 mars 2017 à 14:04, Alistair Grant <akgrant0710@gmail.com> a écrit :
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?)
yes, it is a good idea to remove obsolete branches. I will discuss with Esteban because I have no rights on iceberg repo to do so.