Closed ferjm closed 6 years ago
@bors-servo r=cpearce
:pushpin: Commit f1f47dc has been approved by cpearce
:hourglass: Testing commit f1f47dc609183e79af6a40d16e1ace22edadc019 with merge b706cf222e4d724e2c9a692c0afddfd0a6ab11b1...
:sunny: Test successful - status-travis Approved by: cpearce Pushing b706cf222e4d724e2c9a692c0afddfd0a6ab11b1 to master...
Following Chris' suggestion, this should move https://github.com/servo/servo/pull/19152 forward.