Skip to content

Merge branch 'fix/headercheck_3.2' into 'master'

Timo Koch requested to merge cherry-pick-edd81441 into releases/3.2

[cleanup] fix headercheck errors

See merge request !1970 (merged)

(cherry picked from commit edd81441)

c396f0c5 [cleanup] fix headercheck errors

Merge request reports