On 5/22/2023 1:19 PM, Paul B Mahol wrote: > On 5/21/23, Paul B Mahol <onemda at gmail.com> wrote: >> Attached patches. >> >> This finally removes giant hacks in gif demuxer and allows using gif >> files via pipe reliably. >> > > Hopefully final version. Should be ok.