mirror of
https://github.com/servo/servo
synced 2026-05-09 16:42:16 +02:00
Use lazy_static for HOST_TABLE. This might change behaviour if the file is changed between Servo startup and the moment HOST_TABLE is first accessed. I don't think we care. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9988) <!-- Reviewable:end -->