Skip to content

Don't emit explain with json short messages.#64753

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:json-short-explain
Sep 25, 2019
Merged

Don't emit explain with json short messages.#64753
bors merged 1 commit intorust-lang:masterfrom
ehuss:json-short-explain

Commits

Commits on Sep 24, 2019