Skip to content

Adjust comments about pre-push.sh hook#106457

Merged
bors merged 1 commit intorust-lang:masterfrom
kadiwa4:no-bless
Jan 8, 2023

Commits

Commits on Jan 4, 2023