Skip to content

Explicitly set the "exit" point on some snippets.#381

Merged
bors[bot] merged 1 commit intorust-lang:masterfrom
ehuss:no-exit-snippets
May 18, 2019
Merged

Explicitly set the "exit" point on some snippets.#381
bors[bot] merged 1 commit intorust-lang:masterfrom
ehuss:no-exit-snippets

Commits

Commits on May 18, 2019