mirror of
https://github.com/mpv-player/mpv.git
synced 2025-12-22 10:57:08 +00:00
removes awkward back-and-forth int -> double -> int conversion. the last step also broke uniformity, though it likely doesn't matter much in mpv's playlist shuffle context.
1.6 KiB
1.6 KiB