diff options
author | bors-servo <release+servo@mozilla.com> | 2014-02-28 11:37:40 -0500 |
---|---|---|
committer | bors-servo <release+servo@mozilla.com> | 2014-02-28 11:37:40 -0500 |
commit | 021d32368d569298da619041c9ffe262c91063e4 (patch) | |
tree | 40535f318ac36d9d617044dc83933b1d27ad1d9f /src/components/script/script_task.rs | |
parent | def5483579fad1e7f77ca96bd10fc5eb85e37740 (diff) | |
parent | 39e571ae4e23e7c2b96f33773c0c1ea057968487 (diff) | |
download | servo-021d32368d569298da619041c9ffe262c91063e4.tar.gz servo-021d32368d569298da619041c9ffe262c91063e4.zip |
auto merge of #1781 : hgentry/servo/mozilla-servo, r=metajack
Simple change. I hope I'm using github correctly; I'm not too familiar with the PR system. Fixes #1777.
Diffstat (limited to 'src/components/script/script_task.rs')
0 files changed, 0 insertions, 0 deletions