Remove unused Maybe
wrapper around raw standard streams#75772
Merged
bors merged 3 commits intorust-lang:masterfrom Aug 22, 2020
Merged
Remove unused `Maybe` wrapper around raw standard streams#75772bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom