You've already forked comprehensive-rust
mirror of
https://github.com/google/comprehensive-rust.git
synced 2025-12-21 14:35:47 +02:00
See individual commits in https://github.com/google/comprehensive-rust/pull/2805. Fixes #2734.