Remove the library/term exception in tidy's pal checker code#113524
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 10, 2023
Merged
Remove the library/term exception in tidy's pal checker code#113524bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom