http://bugs.kde.org/show_bug.cgi?id=98852 Hi all, IIRC, kde-3.4.2 is scheduled to 27th of july, I assume that kdevelop-3.2.2 will be released that day also? If yes, could anyone (Matt?) make sure that the patch which is applied to bug #98852 makes it into the repository? Thanks in advance! Daniel