Summary of changes: 1e73258... update to 1.6.0 (*) 8edc5fd... update to 1.7.0 (*) 84e9444... Update to 1.7.1 (*) 99fb18e... dist-git conversion (*) 99498de... Update to 1.8.0 (*) 06d4bca... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent