mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-25 20:49:49 +08:00
Tries to access the options, which are obviously not allocated if there is no DVD support compiled. Fixes #4393.
Tries to access the options, which are obviously not allocated if there is no DVD support compiled. Fixes #4393.