diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-08 12:12:40 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-08 12:12:40 -0500 |
| commit | 136366bf641f08590ba60cbe2fa98ecc3181a98e (patch) | |
| tree | 9e726e31e8a1448cce839a93aa25d54573b6a3fe /python/tidy/servo_tidy | |
| parent | f2b363b3f006c90d77c7cc04f72ef00e676fa23a (diff) | |
| parent | b3b886e837792bc130d3514bef4d8619aed4c41d (diff) | |
| download | servo-136366bf641f08590ba60cbe2fa98ecc3181a98e.tar.gz servo-136366bf641f08590ba60cbe2fa98ecc3181a98e.zip | |
Auto merge of #25161 - paulrouget:cachedMsgs, r=jdm
devtools: save and send cached messages
@jdm the only real difference between your original patch and this PR is the removal of the `GetCachedMessages` messages that are not necessary anymore now that we directly send the message to the devtools.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #13161 (GitHub issue number if applicable)
Diffstat (limited to 'python/tidy/servo_tidy')
0 files changed, 0 insertions, 0 deletions