Summary of changes: cc4b093... Import from F-12 (*) de194e6... dist-git conversion (*) 6b03b07... New upstream (*) 56ce4d1... Updating f13. 8a2a420... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent