Subject: Re: [PATCH] gnu: FFmpeg: Prefer dav1d over libaom.

From: Leo Famulari <[email-masked]>
Date: Fri, 21 Feb 2020 12:49:40 -0500

On Fri, Feb 21, 2020 at 12:36:43PM -0500, Leo Famulari wrote:
> * gnu/packages/patches/ffmpeg-prefer-dav1d.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Add it.
> * gnu/packages/video.scm (ffmpeg)[source]: Use it.

This does improve playback for MPV, but VLC is still choosing libaom
somehow. So I think we should make the changes in both #39714 and
#39719.