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

Commits

Commits on Feb 6, 2026