Submitted 4 months ago by reedbot to rust
https://blog.rust-lang.org/2024/07/25/Rust-1.80.0.html