[vlc-commits] contrib: dav1d: Update option names

vlc/vlc-3.0 | branch: master | Hugo Beauzée-Luyssen | Wed Aug 14 12:23:15 2019 +0200| [57626985a8895e090a805bab6d6847a5fb3ee5c2] | committer: Hugo Beauzée-Luyssen contrib: dav1d: Update option names (cherry picked from commit a0f8ec0ee7093a77a98e92bac8c38423f6001f8e) Signed-off-by: Hugo Beauzé

[vlc-commits] contrib: dav1d: Update option names

vlc | branch: master | Hugo Beauzée-Luyssen | Wed Aug 14 12:23:15 2019 +0200| [a0f8ec0ee7093a77a98e92bac8c38423f6001f8e] | committer: Hugo Beauzée-Luyssen contrib: dav1d: Update option names > http://git.videolan.org/gitweb.cgi/vlc.git/?a=commit;h=a0f8ec0ee7093a77a98e92bac8c38423f6001f8e ---