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