Skip to content

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

Timo Koch requested to merge cherry-pick-1bc37771 into releases/3.4

[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

Merge request reports