Update 2025-11-12-this-week-in-rust.md#7250

kirkjkrauss wants to merge 1 commit intorust-lang:masterrust-lang/this-week-in-rust:masterfrom

kirkjkrauss:patch-1kirkjkrauss/this-week-in-rust:patch-1Copy head branch name to clipboard