Skip to content

Warn on unused patches.#6470

Merged
bors merged 1 commit intorust-lang:masterfrom ehuss:warn-unused-patchDec 22, 2018

Commits

Commits on Dec 22, 2018