Closed jdm closed 6 years ago
@bors-servo r+
:pushpin: Commit 59bb9ed has been approved by jdm
:hourglass: Testing commit 59bb9ed7f9dc106da88fca78a75a0da5ba03bb02 with merge 0aeb0077a2571c9b92f0e3f75c17b5794ce00872...
:sunny: Test successful - status-travis Approved by: jdm Pushing 0aeb0077a2571c9b92f0e3f75c17b5794ce00872 to master...
This change is