Well, that's good to know, even if it does mean kdevelop remains unusable for my purposes at present. I would report KDE bugs to KDE, but KDE's bug reporting system is defective by design. When is kdevplatform 1.1 likely to be available in Debian testing?