Summary of changes: 9e79d81... +mimeinfo scriptlet (*) 2daac45... 4.13.3 (*) 5805d2f... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent