Summary of changes: 2b4214c... Upstream release 0.7.0 (*) dc9edd7... .gitignore format changed (*) 06435b5... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent