Luca Weiss authored 1 month ago and Oliver Smith committed 1 month ago

Workaround since building for armv7 on x86_64 fails, see
#2820

[ci:skip-vercheck] # no rebuild necessary
[ci:skip-build]: already built successfully in CI