Summary of changes: b55b98a... Update to 3.12.6 (*) 6ffaf7f... dist-git conversion (*) cf2604c... Update to 3.12.7 (*) df86ec6... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent