Skip to content

Fix status bar message not being marked markdown#18366

Merged
bors merged 3 commits into
rust-lang:masterfrom
Veykril:veykril/push-uvwvwzxnkmnz
Oct 22, 2024
Merged

Fix status bar message not being marked markdown#18366
bors merged 3 commits into
rust-lang:masterfrom
Veykril:veykril/push-uvwvwzxnkmnz

Commits

Commits on Oct 22, 2024