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

From: Leo Famulari <[email-masked]>
Date: Fri, 20 Mar 2020 18:54:51 -0400

I pushed fixes for FFmpeg and VLC as commit
f08040c5f864df1e85573172aa921e42ceef6859.