Merge branch 'feature/headercheck' into 'master'

[headercheck] add missing header

See merge request !174

(cherry picked from commit cd2affc7)

395e743c [headercheck] add missing header
1 job for !175 with cherry-pick-cd2affc7
latest merge request