Merge pull request #3776 from aparcar/noci
authorHannu Nyman <redacted>
Sat, 21 Mar 2020 19:47:54 +0000 (21:47 +0200)
committerGitHub <redacted>
Sat, 21 Mar 2020 19:47:54 +0000 (21:47 +0200)
CI: remove circleci


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