openSUSE-RU-2013:1707-1: kdevelop4: Latest bugfix release of the kdev* family