diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-12-13 02:58:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-13 02:58:34 -0500 |
| commit | 1ec78c065a0d01217cdfc5c393618ec6ecefdf4b (patch) | |
| tree | fb3a0193df17339e2874554ecd96b19108066bd3 /python/servo/__init__.py | |
| parent | eab848df3e5fd7521140d8470e142016f6409c66 (diff) | |
| parent | 558799cc0f194f5e9f44efb9425f8f7f784dea7d (diff) | |
| download | servo-1ec78c065a0d01217cdfc5c393618ec6ecefdf4b.tar.gz servo-1ec78c065a0d01217cdfc5c393618ec6ecefdf4b.zip | |
Auto merge of #22436 - servo:tc-master, r=SimonSapin
Also run Taskcluster tasks when pushing to `master`
I forgot to include this in https://github.com/servo/servo/pull/22381
<!-- 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/22436)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/__init__.py')
0 files changed, 0 insertions, 0 deletions