Am Dienstag, 28. Januar 2014, 18:32:58 schrieb Sven Brauch: > See our website: https://mail.kde.org/pipermail/kdevelop-devel/ ;) well, that is kdevelop-devel, not kdevelop (for users) ;-) so, just another archive, again. till now, I thought all kde lists are archived at lists.kde.org . wrong assumption, as it turns out... Werner