Summary of changes: ed3189b... optimize mimeinfo scriptlet (*) 7678130... 4.13.3 (*) c845ab9... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent