Summary of changes: a834b6c... Fix typo that causes a failure to update the common directo (*) 66f1588... dist-git conversion (*) 318953d... Merge remote branch 'origin/master' into f12/master (*) This commit already existed in another branch; no separate mail sent