Update .gitmodules
to use shallow submodule clones#113740
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 31, 2023
Merged
Update `.gitmodules` to use shallow submodule clones#113740bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom