Summary of changes: a7e7cba... Using the v0.9 git tag instead of the commit# (*) d3252f2... Using the v0.9 git tag instead of the commit# (*) 9707216... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent