Skip to content

Rename foo_opt to foo and drop the old foo behavior#11129

Closed
SimonSapin wants to merge 10 commits intorust-lang:masterfrom
SimonSapin:foo-vs-foo_opt
Closed

Rename foo_opt to foo and drop the old foo behavior#11129
SimonSapin wants to merge 10 commits intorust-lang:masterfrom
SimonSapin:foo-vs-foo_opt

Commits