Merge pull request #3777 from aparcar/noci-19
authorHannu Nyman <hannu.nyman@iki.fi>
Sat, 21 Mar 2020 19:57:43 +0000 (21:57 +0200)
committerGitHub <noreply@github.com>
Sat, 21 Mar 2020 19:57:43 +0000 (21:57 +0200)
commit12f0dacf6acecc46b11485b3af0ace51b599da14
treee82d6ff288553cc7451c5c852526b02a59dda7e8
parent4778aa62af311fc06ac9f2d9ee76eb814ec22a71
parenteab7ae378b67ae66a6bacf9b663a8b2beba8c009
Merge pull request #3777 from aparcar/noci-19

[19.07]CI: remove circleci