Skip to content

Correcting a warning from tidy run

replaced .size() by !.empty() in an if statement

Tidy build was throwing a warning.

Merge request reports