Closed jdm closed 5 years ago
@bors-servo r+
:pushpin: Commit 5a47520 has been approved by nox
:hourglass: Testing commit 5a47520474c0733fcd1aaa17e8a898e0ef3a65b3 with merge 2bbb76df578f35b92eef8a9be546340ac421f734...
:sunny: Test successful - checks-travis Approved by: nox Pushing 2bbb76df578f35b92eef8a9be546340ac421f734 to master...
Fixes #200.
This change is