Player: update scrubbar when UI appears
Related merge request !1156 to merge update-scrub-bar
merge request
4 jobs
3 minutes 42 seconds, queued for 2 seconds
VideoLAN code repository instance