Summary of changes: 3b881b7... Fix typo that causes a failure to update the common directo (*) 3abdc50... dist-git conversion (*) 4e2cb39... Fixed implicit DSO linking (*) abc0e7c... Merge branch 'master' into f12 (*) This commit already existed in another branch; no separate mail sent