Closed pcwalton closed 4 years ago
@bors-servo: r+
:pushpin: Commit 0c1fda4 has been approved by pcwalton
:hourglass: Testing commit 0c1fda4abb41914665a7952663118b82cb207a18 with merge 9cda2747c4ba2678fc6beb8d744f19c12eb1e331...
:sunny: Test successful - checks-travis Approved by: pcwalton Pushing 9cda2747c4ba2678fc6beb8d744f19c12eb1e331 to master...
Partially addresses #388.