Summary of changes: 80533ca... Update to 0.7.15 (*) f96253f... Update to 0.8.0 (*) 62bb261... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent