[MPlayer-dev-eng] [PATCH] Support newer GIFLIB versions

[Reimar Döffinger]

On 23.07.2013, at 08:03, Alexander Strasser <eclipse7 at gmx.net> wrote:
> On 2013-07-23 00:44 +0200, Nicolas Coiffier wrote:
>> Works for me, and fix previous compilation problems withlibmpdemux/demux_gif.c
>> 
>> see thread [MPlayer-dev-eng] [PATCH] Fix compilation error in
>> libmpdemux/demux_gif.c:
>> http://lists.mplayerhq.hu/pipermail/mplayer-dev-eng/2013-July/071813.html
> 
>  Great. Thank you for testing. I intent to apply some solution when the
> discussions are over.

just go ahead, this got lost in time already once, let's not repeat that.
That said, with this kind of code nobody really cares about, that should have working alternatives in FFmpeg etc. I personally don't consider backwards compatibility to be worth even minimal extra complexity.