Hi, > Le 25 mars 2017 à 14:04, Alistair Grant <akgrant0...@gmail.com> a écrit : > > Hi Christophe, > > On 23 March 2017 at 21:54, Christophe Demarey > <christophe.dema...@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.