Closed pcwalton closed 4 years ago
@bors-servo: r+
:pushpin: Commit 441051a has been approved by pcwalton
:hourglass: Testing commit 441051a8ac1c5460eddca80a54d78e55985ee0f4 with merge 37a328552ef9adc85dceb107fab7bf2e978770bd...
:sunny: Test successful - checks-travis Approved by: pcwalton Pushing 37a328552ef9adc85dceb107fab7bf2e978770bd to master...
Closes #416.