Explicitly set the "exit" point on some snippets.#381
Merged
bors[bot] merged 1 commit intorust-lang:masterfrom May 18, 2019
Merged
Explicitly set the "exit" point on some snippets.#381bors[bot] merged 1 commit intorust-lang:masterfrom
bors[bot] merged 1 commit intorust-lang:masterfrom