On 2022-07-14 04:01 pm, Paul B Mahol wrote: > On Thu, Jul 14, 2022 at 12:21 PM Gyan Doshi <ffmpeg at gyani.pro> wrote: > >> Pushed as 882aac99d2a7d15492ce1da9859676b0c04295b8 >> and cherry-picked to 5.1 >> > Why? The cherry-pick? Because 5.1 hasn't been tagged yet as already explained in my last msg in v3 thread. Regards, Gyan