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