Skip to content

Remove deprecation note in the non_local_definitions lint#131565

Merged
bors merged 1 commit intorust-lang:masterfrom Urgau:non_local_def-rm-deprecateOct 12, 2024