Skip to content

add Option::{zip,zip_with} methods under "option_zip" gate#69997

Merged
bors merged 3 commits into
rust-lang:masterfrom
WaffleLapkin:option_zip
Mar 21, 2020
Merged

add Option::{zip,zip_with} methods under "option_zip" gate#69997
bors merged 3 commits into
rust-lang:masterfrom
WaffleLapkin:option_zip

make "other" in docs of `Option::{zip,zip_with}` monofont

121bffc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs