[vlc/f32] (23 commits) ...Update to 3.0.12