Skip to content

Index summary enum#12643

Merged
bors merged 7 commits into
rust-lang:masterfrom
Eh2406:IndexSummaryEnum
Sep 11, 2023
Merged

Index summary enum#12643
bors merged 7 commits into
rust-lang:masterfrom
Eh2406:IndexSummaryEnum

Small clarifications

5c8cf8d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs