Closed waywardmonkeys closed 6 years ago
@bors-servo r+
:pushpin: Commit 02c5511 has been approved by emilio
:hourglass: Testing commit 02c55117d230d05f9ce0080cff01edf18e75a106 with merge 2302b574b9509d8e3874add153eb64a3cd5d03ad...
:sunny: Test successful - status-travis Approved by: emilio Pushing 2302b574b9509d8e3874add153eb64a3cd5d03ad to master...
These are more up to date and support versioning.