Merge pull request #8847 from MikePetullo/gstreamer1
authorRosen Penev <rosenp@gmail.com>
Mon, 29 Apr 2019 23:07:06 +0000 (16:07 -0700)
committerGitHub <noreply@github.com>
Mon, 29 Apr 2019 23:07:06 +0000 (16:07 -0700)
gstreamer1: revert addition of --disable-option-parsing


Trivial merge