Closed pietroalbini closed 3 years ago
@bors r+
:pushpin: Commit 85c0f3dda94473f7f69b66552304484df2ddcf3c has been approved by pietroalbini
:hourglass: Testing commit 85c0f3dda94473f7f69b66552304484df2ddcf3c with merge ea675d8658d716955bb5940b8e7a859611e9985e...
:sunny: Test successful - checks-actions Approved by: pietroalbini Pushing ea675d8658d716955bb5940b8e7a859611e9985e to master...
Reverts rust-lang/crater#573, as it reduced the performance in prod.