Skip to content

safer enable_if#6

Merged
raphael-s-steiner merged 1 commit intomasterfrom
safer_enable_if
Mar 25, 2026
Merged

safer enable_if#6
raphael-s-steiner merged 1 commit intomasterfrom
safer_enable_if

Conversation

@raphael-s-steiner
Copy link
Copy Markdown
Owner

No description provided.

@raphael-s-steiner raphael-s-steiner self-assigned this Mar 25, 2026
@raphael-s-steiner raphael-s-steiner merged commit 3938088 into master Mar 25, 2026
2 checks passed
@raphael-s-steiner raphael-s-steiner deleted the safer_enable_if branch March 25, 2026 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant