On 11/18/13 19:14, George Neville-Neil wrote: > > OK if we want to keep eclipse3 we should do the following: > > eclipse -> eclipse3 > eclipse 4.3 -> eclipse > eclipse-devel -> IGNORED until we do 4.4 > > How does that sound? This is fine with me. tg