Merge pull request #7216 from ethereum/ppaRemoveCosmic

Remove ubuntu cosmic (EOL July 18, 2019) from release script.
This commit is contained in:
Daniel Kirchner 2019-08-12 13:02:01 +02:00 committed by GitHub
commit 0ca4a744e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -55,9 +55,9 @@ keyid=70D110489D66E2F6
email=builds@ethereum.org
packagename=solc
static_build_distribution=cosmic
static_build_distribution=disco
DISTRIBUTIONS="bionic cosmic disco"
DISTRIBUTIONS="bionic disco"
if is_release
then