Skip to content

A small change#115596

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:two-small-changes
Sep 6, 2023
Merged

A small change#115596
bors merged 1 commit intorust-lang:masterfrom
nnethercote:two-small-changes

Commits

Commits on Sep 6, 2023