Merge pull request #54 from J0WI/flags
authorMathieu Brunot <redacted>
Tue, 4 Jun 2019 16:43:19 +0000 (18:43 +0200)
committerGitHub <redacted>
Tue, 4 Jun 2019 16:43:19 +0000 (18:43 +0200)
Improve build caching and error handling for curl and gpg commands


Trivial merge
git clone https://git.99rst.org/PROJECT