Merge pull request #206 from fabianlaule/fix-configflag
authorTobias Schmidt <tobidt@gmail.com>
Tue, 8 Aug 2017 13:35:35 +0000 (15:35 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Aug 2017 13:35:35 +0000 (15:35 +0200)
Fix wrong config flag name in 0.8.0 (--config-flag=..)


Trivial merge