Summary of changes: 54e3809... Fix typo that causes a failure to update the common directo (*) 5f4ec87... dist-git conversion (*) fcca322... Update to 5.1.7 (*) 9387c34... Merge branch 'master' into f12 (*) 6ddb270... Add -fPIC to CFLAGS (*) (*) This commit already existed in another branch; no separate mail sent