Skip to content

Port #[target_feature] to new attribute parsing infrastructure#142876

Merged
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:target_feature_parser
Jul 3, 2025
Merged

Port `#[target_feature]` to new attribute parsing infrastructure#142876
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:target_feature_parser

Commits

Commits on Jul 3, 2025