For two days now I don't get messages. So this is a Ping. Sorry for the spam. -- Mark - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«