diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-05-14 08:21:17 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-14 08:21:17 -0400 |
| commit | 3f30720bbafc504f286beed0cb195dbd1bf6a2e4 (patch) | |
| tree | 193d3d003e0847cd4cc1bd29d7b78f6b36ff024e /support | |
| parent | 3ca9d143afdaab0986c1fa87df546224b6cce5be (diff) | |
| parent | 71fdba13bec8dbf0e8cf976474b5a8c9fbbb9001 (diff) | |
| download | servo-3f30720bbafc504f286beed0cb195dbd1bf6a2e4.tar.gz servo-3f30720bbafc504f286beed0cb195dbd1bf6a2e4.zip | |
Auto merge of #23363 - Darkspirit:https, r=jdm
More https
* Disabled unused legacy TLS.
It will be disabled for Nightly 72 or 73 in 5-7 months and ride the [trains](https://wiki.mozilla.org/Release_Management/Calendar).
https://blog.mozilla.org/security/2018/10/15/removing-old-versions-of-tls/
* Updated MPL license in a few files.
It would be nice if a new version of https://pypi.org/project/servo_tidy/ could be released to update WebRender as well.
* Switched servo-deps.s3.amazonaws.com back to https.
This was recently regressed by 10585be25c334bd15710d1a6d93391a9acb6d543 and fc28073dfba05cb2d3fda624c135b2125c1b90af.
* Made https the default protocol for address bar on desktop.
Press Ctrl+L on the Glutin port and enter `example.com`:
Servo previously assumed you meant `http://example.com/`, now it is `https://example.com/`.
---
- [x] `./mach build --release` does not report any errors
- [x] `./mach test-tidy` does not report any errors
<!-- 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/23363)
<!-- Reviewable:end -->
Diffstat (limited to 'support')
| -rw-r--r-- | support/linux/gstreamer/gstreamer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/linux/gstreamer/gstreamer.sh b/support/linux/gstreamer/gstreamer.sh index cd42b031847..07f3acd3f3e 100644 --- a/support/linux/gstreamer/gstreamer.sh +++ b/support/linux/gstreamer/gstreamer.sh @@ -6,5 +6,5 @@ set -o errexit -curl -L http://servo-deps.s3.amazonaws.com/gstreamer/gstreamer-1.14-x86_64-linux-gnu.20190213.tar.gz | tar xz +curl -L https://servo-deps.s3.amazonaws.com/gstreamer/gstreamer-1.14-x86_64-linux-gnu.20190213.tar.gz | tar xz sed -i "s;prefix=/opt/gst;prefix=$PWD/gst;g" $PWD/gst/lib/pkgconfig/*.pc |