Hi, I don't know whether it's an already known problem, but while trying to subscribe to the kdevelop list through the web-interface on kdevelop.org, I got subscribed to kdevelop-devel. Michael