>> Stephen Eglen <S.J.Eglen at damtp.cam.ac.uk> >> on Mon, 9 Sep 2013 09:38:11 +0100 wrote: [...] > The git version is usually not more stable. It actually is. Development is on svn, and I am syncing git manually by usually comiting in batches when I consider them stable enough. Critical issues are always merged very fast. Vitalie