[MPlayer-users] configure still not fixed

[Alexander Strasser]

Hi all!

On 2018-08-06 12:31 +0000, sylvain.bertrand at gmail.com wrote:
> On Mon, Aug 06, 2018 at 08:01:36AM -0400, The Wanderer wrote:
> > (As it happens, someone else(?) posted the same patch this morning, as
> > the second in a "series" of unrelated configure patches.)
> 
> Yep, saw the posted patch.

I just committed the patch.

Sorry for being so late :(


  Alexander