mpv-player/mpv — pull request #929 by ghedo (2014-07-12 18:50:14+00:00)
Title: demux_disc: resync after open

Fixes #926

No idea what it does or why it's needed, but it seems to work.