Closed Manishearth closed 5 years ago
@bors-servo r+
:pushpin: Commit 00f0d25 has been approved by jdm
:hourglass: Testing commit 00f0d25419b300a82ce1687823dd8e8f364df125 with merge 7c9e52fbc86f00818efd8ab493a7cfe7c34e5837...
:sunny: Test successful - checks-travis Approved by: jdm Pushing 7c9e52fbc86f00818efd8ab493a7cfe7c34e5837 to master...
This change is