Merge pull request #3777 from aparcar/noci-19
authorHannu Nyman <[email protected]>
Sat, 21 Mar 2020 19:57:43 +0000 (21:57 +0200)
committerGitHub <[email protected]>
Sat, 21 Mar 2020 19:57:43 +0000 (21:57 +0200)
[19.07]CI: remove circleci


Trivial merge