Skip to content

Remove deprecation note in the non_local_definitions lint#131565

Merged
bors merged 1 commit into
rust-lang:masterfrom
Urgau:non_local_def-rm-deprecate
Oct 12, 2024
Merged

Remove deprecation note in the non_local_definitions lint#131565
bors merged 1 commit into
rust-lang:masterfrom
Urgau:non_local_def-rm-deprecate

Remove deprecation note in the `non_local_definitions` warning

77b3065
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs