mirror of
https://github.com/google/comprehensive-rust.git
synced 2025-03-19 06:07:53 +02:00
Reverts google/comprehensive-rust#2479, which is a revert of #2397. I think the problem was not related to @Alx-Lai's change, the [Playground was slow](https://rust-lang.zulipchat.com/#narrow/channel/242791-t-infra/topic/playground.20incident.202024-12-03) for everyone.