[MPlayer-users] configure still not fixed

[sylvain.bertrand at gmail.com]

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.

-- 
Sylvain