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)
commitd2480dcbfaa11e35937e721c2ae5570658221828
tree7f22d157e3f3d3be6ee46db51a3dd251530dd2e6
parent1b8574bd887db97cc5e02fc7ce38d18fc4402f7a
parent8d84ba7df0a3719e31b192f6f974954f3359b0a5
Merge pull request #54 from J0WI/flags

Improve build caching and error handling for curl and gpg commands
git clone https://git.99rst.org/PROJECT