Closed nical closed 4 years ago
r? @kvark
@bors-servo r=kvark
:pushpin: Commit 01f11c7 has been approved by kvark
:hourglass: Testing commit 01f11c7e7311abacc0fef1636da128108c178765 with merge 9c1655f9e071dfc2beda0ea0ce707463f09b38be...
:sunny: Test successful - checks-travis Approved by: kvark Pushing 9c1655f9e071dfc2beda0ea0ce707463f09b38be to master...
Fixes #438.