diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-01 20:13:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-01 20:13:59 -0400 |
| commit | 56537fad5801143d70d923a612720a4606abcd75 (patch) | |
| tree | 72775c3a86c1c5544f1aba71837a8d3ad5453bb5 /python/servo/bootstrap_commands.py | |
| parent | 8b7e872ba75376efe3ed170b674a3dfd9a3fcdbb (diff) | |
| parent | a4fa36f9fb540357b8c9452598b729fba6688c46 (diff) | |
| download | servo-56537fad5801143d70d923a612720a4606abcd75.tar.gz servo-56537fad5801143d70d923a612720a4606abcd75.zip | |
Auto merge of #24616 - teapotd:imageinfo-option-refactoring, r=jdm
Store Option<ImageInfo> instead of making fields of ImageInfo optional
Fixes #24582
---
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #24582
- [X] These changes do not require tests
Diffstat (limited to 'python/servo/bootstrap_commands.py')
0 files changed, 0 insertions, 0 deletions