Closed johanvos closed 1 year ago
This is currently a no-op. Having this PR integrated allows the plugins to add the static lib option as well.
Fix #1203
Fixes #
Is this PR superseded by #1206 ?
Overruled by #1206
This is currently a no-op. Having this PR integrated allows the plugins to add the static lib option as well.
Fix #1203
Issue
Fixes #
Progress