fix for issues #51351 and #52113#52620

Merged

bors merged 1 commit intorust-lang:masterfrom mikhail-m1:51351

Jul 29, 2018

+218-48

Commits on Jul 29, 2018

fix issues rust-lang#51351 and rust-lang#52133

Mikhail Modin
authored and
mikhail-m1
committed