update the doc comment on lintchecker b/c it parses html now#129512
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 25, 2024
Merged
update the doc comment on lintchecker b/c it parses html now#129512bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom