Merge pull request #425 from tomdee/small-build-improvements
authorTom Denham <tom@tomdee.co.uk>
Wed, 10 May 2017 19:34:47 +0000 (14:34 -0500)
committerGitHub <noreply@github.com>
Wed, 10 May 2017 19:34:47 +0000 (14:34 -0500)
scripts/release-with-rkt.sh Minor improvements


Trivial merge