note that find(f) is equivalent to filter(f).next() in the docs.#69501
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 28, 2020
Merged
note that find(f) is equivalent to filter(f).next() in the docs.#69501bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
