Skip to content

Use [[nodiscard]] where appropriate#16

Merged
ziotom78 merged 4 commits intomasterfrom
nodiscard
Sep 23, 2025
Merged

Use [[nodiscard]] where appropriate#16
ziotom78 merged 4 commits intomasterfrom
nodiscard

Commits

Commits on Sep 23, 2025