[kdelibs/f20] (6 commits) ...Merge branch 'master' into f20

[Rex Dieter]

Summary of changes:

  a571b3e... optimize mimeinfo scriptlet (*)
  f52b096... shorter version (*)
  e39a4b2... mimeinfo scriptlet polish (*)
  bc86df2... fix issue in opening a terminal in Konqueror/Dolphin does n (*)
  13cd99a... 4.13.3 (*)
  e7f791c... Merge branch 'master' into f20

(*) This commit already existed in another branch; no separate mail sent