[docker-io/f20] (3 commits) ...Merge branch 'master', remote branch 'origin/f20' into f20

[Vincent Batts]

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