Skip to content

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

Merged
bors merged 1 commit into
rust-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 into
rust-lang:masterfrom
joshtriplett:fix-unstable-feature-comment

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

feed41c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs