Rename Option::get_or_default to get_or_insert_default#82977
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 10, 2021 
Merged
Rename `Option::get_or_default` to `get_or_insert_default`#82977bors merged 1 commit intorust-lang:masterfrom 
bors merged 1 commit intorust-lang:masterfrom