Closed Eijebong closed 6 years ago
@bors-servo r+
:pushpin: Commit 3d72037 has been approved by emilio
:hourglass: Testing commit 3d7203741f9a89c1ef5b0114464209284b2f7b1c with merge 9c4482e7f69d8a4d54d1bbb46d842c9eb5ae2482...
:sunny: Test successful - status-appveyor, status-travis Approved by: emilio Pushing 9c4482e7f69d8a4d54d1bbb46d842c9eb5ae2482 to master...
This change is