fix armv7 docker builds NOCHANGELOG
Closes #1904 (closed), #1889 (closed)
This builds!
Changelog is there already on develop as I didn't revert it after !2072 (merged).
Closes #1904 (closed), #1889 (closed)
This builds!
Changelog is there already on develop as I didn't revert it after !2072 (merged).