Skip to content

hir pretty: fix block indent#125158

Merged
bors merged 1 commit into
rust-lang:masterfrom
Noratrieb:block-indent
May 21, 2024
Merged

hir pretty: fix block indent#125158
bors merged 1 commit into
rust-lang:masterfrom
Noratrieb:block-indent

hir pretty: fix block indent

7b1527f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs