Closed SimonSapin closed 4 years ago
@bors-servo r+
:pushpin: Commit b5cd231 has been approved by jdm
:hourglass: Testing commit b5cd231b25a93c0f133a978bfa364c189e0b1902 with merge 9c52821cab72d20834cbf2ccec3ba8b67f13f353...
:sunny: Test successful - checks-travis Approved by: jdm Pushing 9c52821cab72d20834cbf2ccec3ba8b67f13f353 to master...
… for https://github.com/servo/servo/pull/26102