RE: kde-4.13.0 now available in f20/kde-unstable repo