Skip to content

Add NoDiscard attributes#17

Merged
Baptouuuu merged 1 commit intodevelopfrom
no-discard
Feb 8, 2026
Merged

Add NoDiscard attributes#17
Baptouuuu merged 1 commit intodevelopfrom
no-discard

Commits

Commits on Feb 8, 2026