Skip to content

Check in package/publish if a git submodule is dirty.#7245

Merged
bors merged 2 commits intorust-lang:masterfrom ehuss:warn-dirty-submoduleAug 13, 2019

Commits