gif_deanimate(): Tolerate multiple image extensions in a row
authorFabian Keil <fk@fabiankeil.de>
Tue, 9 Feb 2021 19:20:34 +0000 (20:20 +0100)
committerFabian Keil <fk@fabiankeil.de>
Tue, 29 Mar 2022 14:16:08 +0000 (16:16 +0200)
commitaba07103acfd91d5d757defe94da356fba33af98
tree7981e37d5cbadcbbbcbe76912cbaabd51c1d0bc5
parent88993eb0cce227219e7d27406c38266d1aaffc10
gif_deanimate(): Tolerate multiple image extensions in a row

This allows to deanimate all the gifs on:
https://commons.wikimedia.org/wiki/Category:Animated_smilies

Fixes SF bug #795 reported by Celejar.
deanimate.c