Skip to content

Fix an unstable feature comment that wasn't a doc comment#145187

Merged
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:fix-unstable-feature-comment
Aug 10, 2025
Merged

Fix an unstable feature comment that wasn't a doc comment#145187
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:fix-unstable-feature-comment

Commits

Commits on Aug 9, 2025