Merge pull request #9192 from antonlacon/ffmpeg-custom
authorRosen Penev <rosenp@gmail.com>
Mon, 10 Jun 2019 01:58:45 +0000 (18:58 -0700)
committerGitHub <noreply@github.com>
Mon, 10 Jun 2019 01:58:45 +0000 (18:58 -0700)
ffmpeg: install ffserver and ffprobe when using custom versions


Trivial merge