diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-09-06 06:57:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-06 06:57:27 -0500 |
commit | 47e832dbd37e4ea1a321dc8f92a75cfd48fb6be9 (patch) | |
tree | e586a9b20067bad6e4a5ac64a771c817d7019e75 /components | |
parent | bde321c9367151f20a6fb69bd7e59f5203bdb1ce (diff) | |
parent | 7734581d1f4a4044054bab673232f0711b8272bb (diff) | |
download | servo-47e832dbd37e4ea1a321dc8f92a75cfd48fb6be9.tar.gz servo-47e832dbd37e4ea1a321dc8f92a75cfd48fb6be9.zip |
Auto merge of #13178 - glennw:update-wr-clear, r=nox
Update WR + shaders (dotted border AA, clear fix for empty pages).
<!-- 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/13178)
<!-- Reviewable:end -->
Diffstat (limited to 'components')
-rw-r--r-- | components/servo/Cargo.lock | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/components/servo/Cargo.lock b/components/servo/Cargo.lock index dc94eaabaad..f60cf74ae51 100644 --- a/components/servo/Cargo.lock +++ b/components/servo/Cargo.lock @@ -2586,7 +2586,7 @@ dependencies = [ [[package]] name = "webrender" version = "0.5.1" -source = "git+https://github.com/servo/webrender#7ef9be126aa9217bce7711707448dcd1ebd3a370" +source = "git+https://github.com/servo/webrender#b2cca277407b59c4c3b8122f36b64bd81f83a4dc" dependencies = [ "app_units 0.3.0 (registry+https://github.com/rust-lang/crates.io-index)", "bincode 0.6.0 (registry+https://github.com/rust-lang/crates.io-index)", @@ -2611,7 +2611,7 @@ dependencies = [ [[package]] name = "webrender_traits" version = "0.5.1" -source = "git+https://github.com/servo/webrender#7ef9be126aa9217bce7711707448dcd1ebd3a370" +source = "git+https://github.com/servo/webrender#b2cca277407b59c4c3b8122f36b64bd81f83a4dc" dependencies = [ "app_units 0.3.0 (registry+https://github.com/rust-lang/crates.io-index)", "byteorder 0.5.3 (registry+https://github.com/rust-lang/crates.io-index)", |