Merge pull request #4927 from akallabeth/cmdline_fixes
authorakallabeth <akallabeth@users.noreply.github.com>
Wed, 17 Oct 2018 10:19:03 +0000 (12:19 +0200)
committerGitHub <noreply@github.com>
Wed, 17 Oct 2018 10:19:03 +0000 (12:19 +0200)
Fixed command line setting of flags, unified string replace


Trivial merge