Closed jdm closed 7 years ago
@wafflespeanut Please review this pull request (or r? @someone
and I'll assign it to them). Thanks.
@bors-servo: r+
:pushpin: Commit 0f9390d has been approved by jdm
:hourglass: Testing commit 0f9390d56f2d5282ea737023d384b6fa8e8f1be3 with merge d8e758ee45b0a2e6eb07f3c7ed4c095dec23fdd5...
:sunny: Test successful - status-travis Approved by: jdm Pushing d8e758ee45b0a2e6eb07f3c7ed4c095dec23fdd5 to master...
This rebases the functional parts of #182. We can sort the lists another time.