Skip to content

Fix new unused patch warning.#6494

Merged
bors merged 1 commit intorust-lang:masterfrom ehuss:fix-unused-patch-warningDec 28, 2018

Commits

Commits on Dec 28, 2018