Closed nical closed 7 years ago
r? @SimonSapin
@bors-servo r+
:pushpin: Commit c35e122 has been approved by emilio
:hourglass: Testing commit c35e12227d43f74db9278da58a1a4e0072353a30 with merge 0aaf6503938d1da8dc11ed70b51e8f54744d56f3...
:sunny: Test successful - status-travis Approved by: emilio Pushing 0aaf6503938d1da8dc11ed70b51e8f54744d56f3 to master...
This change is