Re: UPDATE: MPlayer 20230409

On Sun Apr 09, 2023 at 02:47:16PM -0400, Brad Smith wrote:
> Here is an update to MPlayer 20230409 snapshot.

Thanks, committed.