Skip to content

Provide Entry-like API for Option#39289

Merged
bors merged 1 commit intorust-lang:masterfrom shahn:option_entryFeb 5, 2017

Commits

Commits on Feb 4, 2017