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

[Andrew Calkin]

On Wed, Sep 12, 2007 at 02:13:49PM +0800, Andrew Calkin wrote:
> 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.

Indeed the behaviour reported in the thread above is still a problem,
which the patch addresses. What should be done?

//Andrew