Summary of changes: 3079200... optimize mimeinfo scriptlet (*) 0856848... scriptlet polish (*) 062c329... 4.13.3 (*) 55bdf43... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent