Skip to content

Minor change for readability#152292

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
GrigorenkoPV:sigma
Feb 8, 2026
Merged

Minor change for readability#152292
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
GrigorenkoPV:sigma

Commits

Commits on Feb 7, 2026