Skip to content

Check for git submodules in non-git source tree.#95849

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:check-submodules
Apr 10, 2022

Commits

Commits on Apr 9, 2022