main-coverity-PileUpTools

Solve one coverity defect introduced 26 August 2023 (possible nullptr dereference) and removed one redundant include.

Merge request reports

Loading