Skip to content

Merge branch 'feature/header-check-course-v3.4' into 'master'

Timo Koch requested to merge cherry-pick-29134e9e into releases/3.4

[headercheck] Fix missing headers

See merge request !114 (merged)

(cherry picked from commit 29134e9e)

f2fa7fbf [headercheck] Fix missing headers

Merge request reports