Merge pull request #3776 from aparcar/noci
authorHannu Nyman <hannu.nyman@iki.fi>
Sat, 21 Mar 2020 19:47:54 +0000 (21:47 +0200)
committerGitHub <noreply@github.com>
Sat, 21 Mar 2020 19:47:54 +0000 (21:47 +0200)
commit63d357123ffafd135760d9b0922a576639cf4201
tree4a9e20b062ef8224023fb1078817565870602057
parentd5ff74aab7f16b97fd319458712389595f331993
parent64861e2c853e841cdd72e881021e0fd8374f566a
Merge pull request #3776 from aparcar/noci

CI: remove circleci