Closed glandium closed 3 years ago
@bors-servo r+
:pushpin: Commit 1a229ee has been approved by jdm
:hourglass: Testing commit 1a229eeaf9536b41d9a91832ada6a694d596b2f3 with merge f870c8783f1368c22f90c4d66f2dcc0524bcd845...
:sunny: Test successful - checks-github Approved by: jdm Pushing f870c8783f1368c22f90c4d66f2dcc0524bcd845 to master...
rather than based on the target os, which is not accurate for *-windows-gnu.