Closed SimonSapin closed 7 years ago
@bors-servo r+
:pushpin: Commit 987dd37 has been approved by nox
:hourglass: Testing commit 987dd375c9bff233dc6729fe6c5aa9f6ecdcf069 with merge 1f6ac29ae7ba3b922dcd2ed9513f47348bcda85b...
:sunny: Test successful - status-travis Approved by: nox Pushing 1f6ac29ae7ba3b922dcd2ed9513f47348bcda85b to master...
This change is