add insert
to Option
#77392
Merged
bors merged 7 commits intorust-lang:masterfrom Canop:option_insertOct 24, 2020
+37-7
Commits
Commits on Oct 23, 2020
- committed
- committed
- committed
- committed
- committed
insert
to Option
#77392