mpv-player/mpv — pull request #638 by rossy2401 (2014-03-12 12:38:33+00:00)
Title: Prevent mouse buttons from sticking

This should fix two cases where mpv doesn't detect mouse-up messages.