Summary of changes: c154d00... dist-git conversion (*) bb31b40... Update to 1.8 (*) 5be29c4... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent