Summary of changes: af638f2... Fix typo that causes a failure to update the common directo (*) c154d00... dist-git conversion (*) bb31b40... Update to 1.8 (*) 1c2e58e... Merge branch 'master' into f12 (*) This commit already existed in another branch; no separate mail sent