On 5/21/23, Paul B Mahol <onemda@gmail.com> wrote:
> Attached patches.
>
> This finally removes giant hacks in gif demuxer and allows using gif
> files via pipe reliably.
>

Now with smaller diff.