mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-24 04:05:46 +08:00
1bf821ebdc
One deprecated FF_PROFILE_DTS_HD_HRA definition was left unaltered - fix that.