Krassimir Valev aef90d170e
Fix the arm32 docker build (#1142)
Weirdly wget fails with an invalid certificate error in a virtualized arm32
environment (qemu), but not on the actual hardware. Replacing it with curl fixes
the issue.
2021-03-28 19:53:09 +02:00
..