Arx Cruz 5a8bd7e162 Replace wget with curl ...

Using wget can lead to problems because it's not default.
We should use curl instead

Change-Id: Idc859c57582ed3b83c6177e91e14ba4828311826
Closes-Bug: #1847344

2019-10-09 10:50:30 +02:00

..

defaults

Replace wget with curl

2019-10-09 10:50:30 +02:00

tasks

Adopt yamllint strict linting

2018-11-26 12:37:21 +00:00