Skip to content

Remove Option from TokenStream#65261

Merged
bors merged 3 commits intorust-lang:masterfrom
nnethercote:rm-Option-from-TokenStream
Oct 15, 2019
Merged

Remove `Option` from `TokenStream`#65261
bors merged 3 commits intorust-lang:masterfrom
nnethercote:rm-Option-from-TokenStream

Commits

Commits on Oct 13, 2019