Fixes #10596. I have split up this commit from #10618 as it seem the easiest to review. Source-Repo: https://github.com/servo/servo Source-Revision: bae2ab0771972874e9039754e11a2f54c1aae29c
Fixes #10596. I have split up this commit from #10618 as it seem the easiest to review. Source-Repo: https://github.com/servo/servo Source-Revision: bae2ab0771972874e9039754e11a2f54c1aae29c