Christian Schwarz 8a5af2f80e build/circleci: apt update before installing ...

hope this fixes the spurious apt install failures

2019-09-27 21:31:05 +02:00

..

config.yml

build/circleci: apt update before installing

2019-09-27 21:31:05 +02:00