Skip to content
Back to pull request #4526

optional: use #if instead of #ifndef, fixes #3859 #2181

Sign in to view logs

optional: use #if instead of #ifndef, fixes #3859

optional: use #if instead of #ifndef, fixes #3859 #2181

check

check
succeeded May 18, 2026 in 17s