Closed philn closed 6 years ago
@bors-servo try
:hourglass: Trying commit df8845271836b780754de6e5b9785c683cf96cdf with merge 6996baad1a8391355599203b83fdfea596155f22...
@bors-servo r=cpearce
:pushpin: Commit 33391c7 has been approved by cpearce
:hourglass: Testing commit 33391c7459118f6c8ffb8d1baa2e6ae1f892c04e with merge 4b59ff24c9564029a1b08dc63bbf38a1fae2eb54...
:sunny: Test successful - status-travis Approved by: cpearce Pushing 4b59ff24c9564029a1b08dc63bbf38a1fae2eb54 to master...
This is for points 6 & 7 of the TODO list.