Skip to content

Fix drain_filter doctest.#44534

Merged
bors merged 1 commit intorust-lang:masterfrom
adlerd:drain_filter_doctest
Sep 15, 2017
Merged

Fix drain_filter doctest.#44534
bors merged 1 commit intorust-lang:masterfrom
adlerd:drain_filter_doctest

Commits

Commits on Sep 13, 2017