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