Skip to content

Remove pragmas#3814

Open
michalkulakowski wants to merge 5 commits intomainfrom
mkulakow/remove_pragmas
Open

Remove pragmas#3814
michalkulakowski wants to merge 5 commits intomainfrom
mkulakow/remove_pragmas

Commits

Commits on Nov 24, 2025