Skip to content

Respect submodule update=none strategy in .gitmodules#10717

Merged
bors merged 1 commit intorust-lang:masterfrom jsitnicki:respect-git-submod-update-noneJun 7, 2022

Commits

Commits on Jun 7, 2022