diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-04-26 12:51:09 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-26 12:51:09 -0400 |
| commit | 94c1551c8f5e576d13bf114146f197cceaa2e37f (patch) | |
| tree | 70ff1987a3fb4b99b968f979dbaeade1d48afd28 /components/script/document_loader.rs | |
| parent | b4a2d60b25ced61a7f5b23df33036b8d55ee0ce8 (diff) | |
| parent | aebb1f00a27959ad19d7945841cd54e722de442b (diff) | |
| download | servo-94c1551c8f5e576d13bf114146f197cceaa2e37f.tar.gz servo-94c1551c8f5e576d13bf114146f197cceaa2e37f.zip | |
Auto merge of #23182 - jdm:xenial, r=jdm
Switch to Xenial for Linux CI.
<!-- 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/23182)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/document_loader.rs')
0 files changed, 0 insertions, 0 deletions