Skip to content

Actually use the #[do_not_recommend] attribute if present#124708

Merged
bors merged 1 commit intorust-lang:masterfrom
weiznich:implement_do_not_recommend
May 19, 2024

Commits

Commits on May 19, 2024