mpv-player/mpv — pull request #1029 by bjin (2014-08-22 12:01:38+00:00)
Title: manpage: remove duplicated content

probably be accidentally added in b6b8bffd