[MPlayer-dev-eng] [PATCH] real demuxer fix V3

[Balatoni Denes]

Hi!

> eh we have been spending about 1 and a half hours with this important issue
> feel free to change it to whatever you like, or reject it ;)
and if there is already somebody maintaining demuxers in MAIN, please consider
applying(+changing) my patch

btw Arpi let me say that imho you did a great job with mplayer and maintaing 
it so far - whatever opposing opinions I might have/have had -, it is indeed 
the most versataile movie player. So good luck with your next projects - but 
i am sure you won't cut all your contact with mplayer after stopping it's 
maintenance.

bye
Denes