Skip to content

Add platform dependent headers to installed headers

Pierre-Antoine BRAMERET requested to merge pab into master

Workaround proposed in #567 (closed).

Merge request reports