Open rustbot opened 3 weeks ago
From what I can tell, this should be just closed, because it's simply API stabilization: https://github.com/rust-lang/rust/issues/130825#issuecomment-2384561081
@rustbot close
(Probably don't have enough rights for that)
Correct me if I'm wrong, but shouldn't release tracking issues stay open until the change has actually been included in the release notes?
This issue tracks the release notes text for #128316.
Steps
Release notes text
The responsible team for the underlying change should edit this section to replace the automatically generated link with a succinct description of what changed, drawing upon text proposed by the author (either in discussion or through direct editing).
Release blog section
If the change is notable enough for inclusion in the blog post, the responsible team should add content to this section. Otherwise leave it empty.
cc @GrigorenkoPV, @dtolnay -- origin issue/PR authors and assignees for starting to draft text