Closed SimonSapin closed 7 years ago
@bors-servo r+
:pushpin: Commit 705542c has been approved by SimonSapin
:hourglass: Testing commit 705542c54cda03a7b7f4edf12f60df8b08cc34e4 with merge ae83cb5f3e384e339f4e1557b8e3dbd5bfb96d6f...
:sunny: Test successful - status-travis Approved by: SimonSapin Pushing ae83cb5f3e384e339f4e1557b8e3dbd5bfb96d6f to master...
This change is