Merge pull request #2856 from manio/master
authorPavel Rochnyak <pavel2000@ngs.ru>
Tue, 10 Jul 2018 10:29:02 +0000 (17:29 +0700)
committerGitHub <noreply@github.com>
Tue, 10 Jul 2018 10:29:02 +0000 (17:29 +0700)
Fix parsing option for avoiding making BaseDir


Trivial merge