Fixed a bug when using WSL when all Windows paths have been removed#761

Merged

tleonhardt merged 1 commit intomasterfrom

Aug 13, 2019

Commits on Aug 13, 2019

Fixed a bug when using WSL when all Windows paths have been removed from $PATH
tleonhardt
committed