Skip to content

Minor improvements in comment on freshen.rs#119487

Merged
bors merged 1 commit intorust-lang:masterfrom
gurry:improve-freshner-comment
Jan 3, 2024
Merged

Minor improvements in comment on `freshen.rs`#119487
bors merged 1 commit intorust-lang:masterfrom
gurry:improve-freshner-comment

Commits

Commits on Jan 1, 2024