Skip to content

Warn/err on some unused manifest keys in workspaces.#6276

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:ws-unused
Nov 7, 2018
Merged

Warn/err on some unused manifest keys in workspaces.#6276
bors merged 1 commit intorust-lang:masterfrom
ehuss:ws-unused

Commits

Commits on Nov 7, 2018