Skip to content

Remove restrictions on names of installed headers

it's causing troubles and not fixing any real problem (anymore)

Merge request reports