mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-22 18:58:38 +08:00
ba4569cf70
Also change the property to an int, since using double is questionable and pointless.