Skip to content

Don't use bashism in checktools.sh#120726

Merged
bors merged 1 commit intorust-lang:masterfrom
saethlin:no-bashism
Feb 7, 2024
Merged

Don't use bashism in checktools.sh#120726
bors merged 1 commit intorust-lang:masterfrom
saethlin:no-bashism

Commits

Commits on Feb 7, 2024