mirror of
https://github.com/servo/servo
synced 2026-05-14 19:06:31 +02:00
Remove obsolete comment (fixes #8209). <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8332) <!-- Reviewable:end -->