fixes for RPi build #146

Merged
meierj merged 1 commits from mueller/rpi-fixes into develop 2022-02-22 18:17:40 +01:00

1 Commits

Author SHA1 Message Date
27ee6bfffc
fixes for RPi build
All checks were successful
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
EIVE/eive-obsw/pipeline/head This commit looks good
2022-02-22 13:50:46 +01:00