[MPlayer-dev-eng] [PATCH] sync TOOLS/binary_codecs.sh with debian

[Diego Biurrun]

On Fri, Apr 24, 2009 at 07:36:35AM +0200, Reinhard Tartler wrote:
> Diego Biurrun <diego at biurrun.de> writes:
> 
> > Anyway, I don't think there is much point in nitpicking about this.  If
> > the new version works, commit it.
> 
> committed.
> 
> I now propose to commit the new version to the 1.0rc3 branch.

Done.

Diego