Submitted 2 years ago by reedbot to rust
https://blog.rust-lang.org/2023/08/24/Rust-1.72.0.html