diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-27 14:51:34 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-27 14:51:34 +0530 |
| commit | 44c972a86808acede828fdb3c80b6d8c1ed061c5 (patch) | |
| tree | 444b34608a1eab5f130a07a34b72551fb292de86 /python/servo | |
| parent | 68a8085a2f11d052948145980a0bf8a46471e3a7 (diff) | |
| parent | 4e40fecbdd4b086ff668b9999a9e7b298948e5e9 (diff) | |
| download | servo-44c972a86808acede828fdb3c80b6d8c1ed061c5.tar.gz servo-44c972a86808acede828fdb3c80b6d8c1ed061c5.zip | |
Auto merge of #10221 - MovingtoMars:opt_parse_err, r=Manishearth
Fail cleanly instead of panicking for incorrect option arguments
Related #9927
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10221)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo')
0 files changed, 0 insertions, 0 deletions