Merge branch 'feature/header-check-course-v3.4' into 'master'
[headercheck] Fix missing headers See merge request !114
[headercheck] Fix missing headers See merge request !114
mentioned in commit feb5b7e2
·mentioned in commit feb5b7e2
mentioned in merge request !115 (merged)
·mentioned in commit 0359085e
·mentioned in commit 0359085e