Closed jdm closed 5 years ago
@bors-servo r+
:pushpin: Commit 9dc8ae0 has been approved by jdm
:hourglass: Testing commit 9dc8ae098c8ae96e12c311f685d960b5582ef4b1 with merge 3d9f7806a279c99462742f03b127ad9f6e7f8965...
:sunny: Test successful - checks-travis Approved by: jdm Pushing 3d9f7806a279c99462742f03b127ad9f6e7f8965 to master...
This change is