Subject: bug#39719: closed (Re: bug#39719: Acknowledgement (FFmpeg library preference for dav1d))

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 20 Mar 2020 22:55:02 +0000

Your bug report

#39719: FFmpeg library preference for dav1d

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
39719: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39719
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#39719: Acknowledgement (FFmpeg library preference for dav1d)
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Fri, 20 Mar 2020 18:54:51 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

I pushed fixes for FFmpeg and VLC as commit
f08040c5f864df1e85573172aa921e42ceef6859.

Subject: FFmpeg library preference for dav1d
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Fri, 21 Feb 2020 12:34:53 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

This patch, taken from upstream FFmpeg, reorders the library
dependencies in FFmpeg so that the more performant dav1d is preferred
over libaom.

This patch supersedes <https://bugs.gnu.org/39714>.