[headercheck][lecture] Fix missing headers for release 3.4 See merge request !151 (cherry picked from commit 1bc37771) f9f5c8b1 [headercheck][lecture] Fix missing headers for release 3.4 29e25ff2 [cleanup][lecture] Remove deprecated functions
