Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-12 18:03:49 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #18491 - glennw:update-wr-android-bugs, r=jdm

Browse source 
Update WR (android driver bug fixes).

<!-- 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/18491)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-09-13 21:49:05 -05:00 • committed by GitHub
commit b6b698dbb1
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Cargo.lock generated
View file

@ -3597,7 +3597,7 @@ dependencies = [
[[package]] [[package]]
name = "webrender" name = "webrender"
version = "0.50.0" version = "0.50.0"
source = "git+https://github.com/servo/webrender#08e5d6f3f391c0bb9bd17de69fdf89c068098d62" source = "git+https://github.com/servo/webrender#7d9444a24fb98bcc41afdca2a5bf145d514500f1"
dependencies = [ dependencies = [
"app_units 0.5.6 (registry+https://github.com/rust-lang/crates.io-index)", "app_units 0.5.6 (registry+https://github.com/rust-lang/crates.io-index)",
"bincode 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)", "bincode 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)",
@ -3625,7 +3625,7 @@ dependencies = [
[[package]] [[package]]
name = "webrender_api" name = "webrender_api"
version = "0.50.0" version = "0.50.0"
source = "git+https://github.com/servo/webrender#08e5d6f3f391c0bb9bd17de69fdf89c068098d62" source = "git+https://github.com/servo/webrender#7d9444a24fb98bcc41afdca2a5bf145d514500f1"
dependencies = [ dependencies = [
"app_units 0.5.6 (registry+https://github.com/rust-lang/crates.io-index)", "app_units 0.5.6 (registry+https://github.com/rust-lang/crates.io-index)",
"bincode 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)", "bincode 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)",