kfunk added a comment. Running KDevelop with this patch for a week now, no problems so far. REPOSITORY rKDEVPLATFORM KDevPlatform REVISION DETAIL https://phabricator.kde.org/D723 EMAIL PREFERENCES https://phabricator.kde.org/settings/panel/emailpreferences/ To: kfunk, KDevelop Cc: kdevelop-devel