Closed jdm closed 5 years ago
@bors-servo r+
:pushpin: Commit a25a303 has been approved by jdm
:hourglass: Testing commit a25a3031d0803be353ea29095e998e9c2f524f7f with merge ab48ca77aec7fc656b7d1fd36bc33e7bc1036a17...
:sunny: Test successful - checks-travis, status-appveyor Approved by: jdm Pushing ab48ca77aec7fc656b7d1fd36bc33e7bc1036a17 to master...
This change is