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
switch to new documentation server
Some checks failed
fsfw/fsfw/pipeline/pr-development This commit looks good
fsfw/fsfw/pipeline/head There was a failure building this commit
build
#690 by mohr was closed 2022-09-23 18:32:36 +02:00