diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-01-13 11:52:15 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-13 11:52:15 -0600 |
| commit | 08fc9f190d7e1eaa11560b5924e243ba686c3d79 (patch) | |
| tree | 1ffd47ce63bdd2c6198b1c2231845131f9014ece /python/servo/command_base.py | |
| parent | e81193c5c953894eae0290614788997f0b89a386 (diff) | |
| parent | f858ce91e846afdec76ba687a948f0a7602d837f (diff) | |
| download | servo-08fc9f190d7e1eaa11560b5924e243ba686c3d79.tar.gz servo-08fc9f190d7e1eaa11560b5924e243ba686c3d79.zip | |
Auto merge of #19756 - bholley:avoid_debug_impls_in_release, r=emilio
Avoid entraining various Debug impls in release builds
See https://bugzilla.mozilla.org/show_bug.cgi?id=1351737#c29
This patch saves more than 80k of code size.
<!-- 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/19756)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions