diff options
author | bors-servo <metajack+bors@gmail.com> | 2015-07-25 07:50:26 -0600 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2015-07-25 07:50:26 -0600 |
commit | ee07e7110d045eb6411ba101d2373318b5ab4f17 (patch) | |
tree | 421201a12d2e5fdd104338764093d039e01aed32 /components/script/page.rs | |
parent | 1764267379a00b96a1df89f3917299a0c6fd325c (diff) | |
parent | 469453787f8754a2e45360b6f39eb69bb15542c0 (diff) | |
download | servo-ee07e7110d045eb6411ba101d2373318b5ab4f17.tar.gz servo-ee07e7110d045eb6411ba101d2373318b5ab4f17.zip |
Auto merge of #6742 - chotchki:accept_int32, r=jdm
Added support for int32 to webdriver.
Fix for issue #6729
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6742)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/page.rs')
0 files changed, 0 insertions, 0 deletions