Skip to content

Stop using reserved identifiers.#21

Merged
MarkCallow merged 1 commit into
mainfrom
issue10
Feb 8, 2026
Merged

Stop using reserved identifiers.#21
MarkCallow merged 1 commit into
mainfrom
issue10

Conversation

@MarkCallow

Copy link
Copy Markdown
Collaborator

Fixes #10.

@MarkCallow MarkCallow merged commit 342f112 into main Feb 8, 2026
9 checks passed
@MarkCallow MarkCallow deleted the issue10 branch February 8, 2026 07:28
@elfring

elfring commented Feb 8, 2026

Copy link
Copy Markdown

Thanks for your adjustment of affected include guards.

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.

reserved identifier violation

2 participants