Commit 2b51e4b5 authored by Tiago Peixoto's avatar Tiago Peixoto

Merge branch 'coverity' into 'master'

Simplifications identified with the help of Coverity

See merge request !38
parents 9c3246a4 d1562f86
Pipeline #717 passed with stage
in 67 minutes and 42 seconds