Hi, We need to decide what to do with kdevplatform and kdevelop. At the moment it is under trunk/KDE, which means that it was copied also to /branches/KDE/4.2 a) does kdevelop/kdevplatform stay on a seperate schedule? b) if so, branching should be done later and outside /branches/KDE/4.2, correct? Greetings, Dirk