Closed pcwalton closed 4 years ago
@bors-servo: r+
:pushpin: Commit 9517fe8 has been approved by pcwalton
:hourglass: Testing commit 9517fe8c63eb8ab975073de76838b4d30330981a with merge bad735e88d16ec718ff3e1897ed7433908c9033b...
:sunny: Test successful - checks-travis Approved by: pcwalton Pushing bad735e88d16ec718ff3e1897ed7433908c9033b to master...
Closes #425.