Skip to content

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

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

Commits

Commits on Aug 9, 2024