[MPlayer-dev-eng] [PATCH] Only pop playlist properties if they have been pushed

[Andrew Calkin]

On Sat, Sep 08, 2007 at 10:44:02AM +0200, Reimar Döffinger wrote:
> Hello,
> On Sat, Sep 08, 2007 at 01:00:11PM +0800, Andrew Calkin wrote:
> > There is absolutely no interest in this patch?
> 
> I am still hoping for someone who knows the code or alternatively
> someone who show a case where it makes a difference.

I finally tracked down the origins of this through the bowels of commit
logs and mailing list threads:
http://lists.mplayerhq.hu/pipermail/mplayer-dev-eng/2003-August/020349.html
I will verify if the observed issue at the time still causes a problem,
or if it has been resolved already.

//Andrew