mirror of git://git.videolan.org/vlc.git