mirror of
https://github.com/servo/servo
synced 2026-05-09 08:32:31 +02:00
This results in a 14% compile time improvement. See https://gist.github.com/brson/b48dd03b06c406be68e6 I'm not suggesting you merge this as-is, but you might consider whether removing some of these is worth pursuing. <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6297) <!-- Reviewable:end -->