Skip to content

Don't set default options on header-only libraries - #2786

Merged
jviotti merged 1 commit into
mainfrom
interface-no-options
Sep 5, 2026
Merged

Don't set default options on header-only libraries#2786
jviotti merged 1 commit into
mainfrom
interface-no-options

Don't set default options on header-only libraries

a2722a5
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 4, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO