Closed jdm closed 4 years ago
This upgrade caused https://github.com/servo/servo/issues/25961 to occur on every windows run so far. No bueno!
I have un-deployed these changes.
The changes are re-deployed. Any attempt to merge a PR before https://github.com/servo/servo/pull/25972 will fail.
These changes were redeployed.
r? @SimonSapin
This is used for https://github.com/servo/servo/pull/25944 and https://github.com/servo/servo/pull/25745. I have deployed these changes.