Summary of changes: 077a566... Update to 0.7.2 (*) cd3a0ca... 0.7.3 (*) bdaec4e... Update to 0.7.4 (*) bb4f4b1... Update to 0.9.0 (*) 6a69ba4... 1.0.0 (*) b6f2a73... Merge branch 'f15' (*) This commit already existed in another branch; no separate mail sent