Skip to content

Merge branch 'feature/headercheck' into 'master'

Timo Koch requested to merge cherry-pick-cd2affc7 into releases/3.5

[headercheck] add missing header

See merge request !174 (merged)

(cherry picked from commit cd2affc7)

395e743c [headercheck] add missing header

Merge request reports