Skip to content

Move #[do_not_recommend] to the #[diagnostic] namespace#125326

Merged
bors merged 1 commit intorust-lang:masterfrom
weiznich:move/do_not_recommend_to_diganostic_namespace
May 22, 2024

Commits

Commits on May 21, 2024