Wow, I almost get the impression that I receive my mails before I have sent them ;-) Something must have happened to the mailing list in the last weeks. Bernd. - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«