Skip to content

Add consistency with phrases "meantime" and "mean time"#122807

Merged
bors merged 1 commit into
rust-lang:masterfrom
danielhuang:fix-1
Apr 8, 2024
Merged

Add consistency with phrases "meantime" and "mean time"#122807
bors merged 1 commit into
rust-lang:masterfrom
danielhuang:fix-1

update messages

1975871
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs