Skip to content

Do not apply #[do_not_recommend] if the feature flag is not set#128674

Closed
weiznich wants to merge 1 commit into
rust-lang:masterfrom
weiznich:fix/respect_do_not_recommend_feature
Closed

Do not apply #[do_not_recommend] if the feature flag is not set#128674
weiznich wants to merge 1 commit into
rust-lang:masterfrom
weiznich:fix/respect_do_not_recommend_feature

Do not apply `#[do_not_recommend]` if the feature flag is not set

f518ce8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs