Auto merge of #23401 - servo:jdm-patch-45, r=jdm

Remove unsupported homebrew options

452f458438 removed these options as part of a purge of support for building from source from the package manager.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23401)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-05-15 11:53:29 -04:00 committed by GitHub
commit 47de1ca6d2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,6 @@
brew "gstreamer"
brew "gst-plugins-base"
brew "gst-libav"
brew "gst-plugins-bad", args: ["with-libnice", "with-srtp"]
brew "gst-plugins-bad"
brew "gst-plugins-good"
brew "gst-rtsp-server"