Submitted 9 months ago by reedbot to rust
https://blog.rust-lang.org/2023/07/13/Rust-1.71.0.html