mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-23 03:18:35 +08:00
1bf821ebdc
One deprecated FF_PROFILE_DTS_HD_HRA definition was left unaltered - fix that.