On 15-05-2019 05:13 PM, Paul B Mahol wrote: > On 5/15/19, Gyan <ffmpeg at gyani.pro> wrote: >> See http://www.ffmpeg.org/pipermail/ffmpeg-devel/2019-May/244029.html >> >> Gyan >> > probably ok Pushed as 8cf947ca4c603f14cdb016eff0c341cb37ec09cc Thanks, Gyan