Skip to content

Make pragmas case sensitive#410

Merged
mandolaerik merged 1 commit intointel:mainfrom
mandolaerik:pr/make-pragmas-case-sensitive
Feb 17, 2026
Merged

Make pragmas case sensitive#410
mandolaerik merged 1 commit intointel:mainfrom
mandolaerik:pr/make-pragmas-case-sensitive

Conversation

@mandolaerik
Copy link
Contributor

No description provided.

Copy link
Contributor

@lwaern-intel lwaern-intel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved modulo verification (I've started a run)

@syssimics
Copy link
Contributor

PR Verification: ✅ success

@mandolaerik mandolaerik merged commit d3e1416 into intel:main Feb 17, 2026
@mandolaerik mandolaerik deleted the pr/make-pragmas-case-sensitive branch February 17, 2026 17:25
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.

3 participants