[okteta/f20] (3 commits) ...Merge branch 'master' into f20

[Rex Dieter]

Summary of changes:

  be120df... optimize mimeinfo scriptlet (*)
  ed3b06b... 4.13.3 (*)
  9184c1a... Merge branch 'master' into f20

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