mirror of
https://github.com/servo/servo
synced 2026-05-13 10:27:03 +02:00
Manual re-opening of #5479 (since it seems that GitHub disables re-opening with the same number after a rebase). <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/5547) <!-- Reviewable:end -->