Summary of changes: 18b2c2f... update to upstream 0.7.1 release (*) d5bce8d... new-sources (*) d576fca... Merge branch 'master', remote branch 'origin/f20' into f20 (*) This commit already existed in another branch; no separate mail sent