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
Option::get_or_default to get_or_insert_default#82977bors merged 1 commit intorust-lang:masterfrom