Skip to content

Set Finished line correctly for debug=0.#6971

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:finished-0-debug
May 20, 2019
Merged

Set `Finished` line correctly for debug=0.#6971
bors merged 1 commit intorust-lang:masterfrom
ehuss:finished-0-debug

Commits

Commits on May 20, 2019