[docker-io/f19] (2 commits) ...new-sources

[Vincent Batts]

Summary of changes:

  18b2c2f... update to upstream 0.7.1 release (*)
  d5bce8d... new-sources (*)

(*) This commit already existed in another branch; no separate mail sent