Summary of changes: cc4b093... Import from F-12 (*) de194e6... dist-git conversion (*) 6b03b07... New upstream (*) f45e92b... UPdating (*) This commit already existed in another branch; no separate mail sent