fixes for GCC13
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
fsfw/fsfw/pipeline/head This commit looks good
build
#750 by mohr was merged 2023-06-02 13:40:35 +02:00