mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-21 18:25:54 +08:00
078f5f300d
Fixes #1222. (This commit is based on a patch posted there.)