[vlc/f31] (12 commits) ...Merge branch 'master' into f31