[MPlayer-dev-eng] [PATCH] Various updates to GIF demuxer

[Diego Biurrun]

On Sat, Jan 13, 2007 at 10:32:08AM +0100, Reimar Döffinger wrote:
> On Sat, Jan 13, 2007 at 10:01:49AM +0100, Diego Biurrun wrote:
> > -    // copy the palette
> > +    // Copy the palette.
> 
> Cosmetics and in general multiple unrelated issues mixed in one patch.

This cosmetical change is my mistake, it slipped in while I ported the
patch.

> Since this code needs an overhaul anyway, I'm for applying my patch
> first.

If you are willing to clean it up and merge this patch I'll be
delighted, but if you just want to commit some cleanup and not merge
this patch I'd be unhappy.  This adds support for many unsupported files
that otherwise crash MPlayer ...

Diego