Merge pull request #4454 from akallabeth/nightly
authorMartin Fleisz <martin.fleisz@thincast.com>
Wed, 7 Mar 2018 09:17:17 +0000 (10:17 +0100)
committerGitHub <noreply@github.com>
Wed, 7 Mar 2018 09:17:17 +0000 (10:17 +0100)
Use a custom command to generate helper tool


Trivial merge