Closed atouchet closed 5 years ago
@bors-servo r+
:pushpin: Commit 3439ecd has been approved by jdm
:hourglass: Testing commit 3439ecd0c2d684ea276c4c825719ec0cd733d9d2 with merge 0cdad6c8263508fd8c2685f243b32f7f9dd5ee07...
:sunny: Test successful - checks-travis Approved by: jdm Pushing 0cdad6c8263508fd8c2685f243b32f7f9dd5ee07 to master...
This change is