Rename {drop,forget}_{copy,ref} lints to more consistent naming#111756
Merged
bors merged 4 commits intorust-lang:masterfrom May 22, 2023
Merged
Rename {drop,forget}_{copy,ref} lints to more consistent naming#111756bors merged 4 commits intorust-lang:masterfrom
{drop,forget}_{copy,ref} lints to more consistent naming#111756bors merged 4 commits intorust-lang:masterfrom