Skip to content

Set Finished line correctly for debug=0.#6971

Merged
bors merged 1 commit intorust-lang:masterfrom ehuss:finished-0-debugMay 20, 2019
+30-1

Commits

Commits on May 20, 2019