Closed paulrouget closed 7 years ago
@bors-servo: r+
:pushpin: Commit 73455d5 has been approved by jdm
:hourglass: Testing commit 73455d5 with merge 9acfa8a...
@bors-servo retry
:hourglass: Testing commit 73455d5 with merge 9f20cdc...
@bors-servo: r-
@bors-servo are you still there?
@bors-servo ping
@bors-servo are you still there?
@bors-servo: r+
:pushpin: Commit 73455d5 has been approved by jdm
:hourglass: Testing commit 73455d5 with merge 2334a7c...
:sunny: Test successful - status-travis Approved by: jdm Pushing 2334a7c62dd9a51631af5940e65405d216b11221 to master...
This change is