Closed pcwalton closed 4 years ago
@bors-servo: r+
:pushpin: Commit 444cae2 has been approved by pcwalton
:hourglass: Testing commit 444cae2b72683122e743a8ed12465feabb5742c7 with merge 073695749ba82f44af48664d35ca2f6672a9ff79...
:sunny: Test successful - checks-travis Approved by: pcwalton Pushing 073695749ba82f44af48664d35ca2f6672a9ff79 to master...
Closes #401.