Check codechecker
Fixes a complaint of the code checker so it hopefully shows positively in the code quality report.
@wittgen This is based on !457 (merged)
Edited by Timon Heim
Fixes a complaint of the code checker so it hopefully shows positively in the code quality report.
@wittgen This is based on !457 (merged)