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

[GNU bug Tracking System]

Your message dated Fri, 20 Mar 2020 18:54:51 -0400
with message-id <address@hidden>
and subject line Re: bug#39719: Acknowledgement (FFmpeg library preference for 
dav1d)
has caused the debbugs.gnu.org bug report #39719,
regarding FFmpeg library preference for dav1d
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
39719: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39719
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> FFmpeg library preference for dav1d
>
>
>
>
> Date: 
>
> Fri, 21 Feb 2020 12:34:53 -0500
>
>
>
>
> 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>.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#39719: Acknowledgement (FFmpeg library preference for dav1d)
>
>
>
>
> Date: 
>
> Fri, 20 Mar 2020 18:54:51 -0400
>
>
>
>
> I pushed fixes for FFmpeg and VLC as commit
> f08040c5f864df1e85573172aa921e42ceef6859.
>
>
> --- End Message ---