Include whitespace in "remove |" suggestion and make it hidden#137872
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 15, 2025
Merged
Include whitespace in "remove |" suggestion and make it hidden#137872bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom