Skip to content

Remove useless header to avoid build error.

Julien Wadel requested to merge fix/useless_header_master into master

Cherry-pick: !2059 (merged)

Merge request reports