Skip to content

Fix a few easy to fix issues flagged by coverity#535

Merged
tmadlener merged 4 commits intoAIDASoft:masterfrom tmadlener:coverity-moveDec 19, 2023