Merge pull request #523 from micmac1/master-ci2
authorJiri Slachta <[email protected]>
Wed, 22 Apr 2020 16:20:51 +0000 (18:20 +0200)
committerGitHub <[email protected]>
Wed, 22 Apr 2020 16:20:51 +0000 (18:20 +0200)
circleci: fetch packages repo


Trivial merge