Merge branch 'feature/header-check-lecture-v3.4' into 'master'
[headercheck][lecture] Fix missing headers for release 3.4
See merge request !151 (merged)
(cherry picked from commit 1bc37771)
f9f5c8b1 [headercheck][lecture] Fix missing headers for release 3.4 29e25ff2 [cleanup][lecture] Remove deprecated functions