[docker-io/f20: 6/6] Merge branch 'master' into f20