K 10 svn:author V 2 pi K 8 svn:date V 27 2015-11-22T17:14:36.910655Z K 7 svn:log V 176 multimedia/mpv: 0.12.0 -> 0.13.0 Changes: https://github.com/mpv-player/mpv/releases/tag/v0.13.0 PR: 204599 Submitted by: Carlos J. Puga Medina (maintainer) END