Closed jdm closed 2 years ago
:pushpin: Commit 9415dec has been approved by jdm
@bors-servo force
@bors-servo retry force
:hourglass: Testing commit 9415dec25fd754bbd3b694f21786655679d61020 with merge 7f0d0a5b7d19c8fbf1f14a08bb795a2871332dbc...
:sunny: Test successful - checks-github, status-appveyor Approved by: jdm Pushing 7f0d0a5b7d19c8fbf1f14a08bb795a2871332dbc to master...
@bors-servo p=100 r+