Skip to content

Fix and activate by default NDEBUG feature#62

Merged
gwenn merged 1 commit intomasterfrom ndbebugAug 2, 2024

Commits

Commits on Aug 1, 2024