[MPlayer-dev-eng] [PATCH 2/2] Name the configure log filename by default "config.log" rather than "config.err". The latter is misleading, as the file contains useful information not necessarily related to errors.

[Diego Biurrun]

On Mon, Jun 14, 2010 at 02:49:16PM +0000, Carl Eugen Hoyos wrote:
> Reinhard Tartler <siretart <at> tauware.de> writes:
> 
> [unrelated patch from ffmpeg-devel]
> 
> Please post a patch!

No need, I implemented the change.

Diego