Summary of changes: ce0ea4f... dist-git conversion (*) 802216d... Initial import (#608925). (*) cb4c9a5... Merge branch 'master' into f13 (*) (*) This commit already existed in another branch; no separate mail sent