use bold magenta instead of bold white for highlighting#118756
Merged
bors merged 3 commits intorust-lang:masterfrom Dec 12, 2023
Merged
use bold magenta instead of bold white for highlighting#118756bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom
