minor tweaks to fix main build #673

Merged
muellerr merged 1 commits from minor-tweaks into main 2023-06-09 18:32:40 +02:00

1 Commits

Author SHA1 Message Date
9cd38a33d4
minor tweaks to fix main build
Some checks are pending
EIVE/eive-obsw/pipeline/head Build queued...
EIVE/eive-obsw/pipeline/pr-main This commit looks good
2023-06-09 17:16:01 +02:00