Skip to content

batch file execution is forbidden by default#519

Merged
klemens-morgenstern merged 1 commit intodevelopfrom
win-no-batch
Oct 22, 2025
Merged

batch file execution is forbidden by default#519
klemens-morgenstern merged 1 commit intodevelopfrom
win-no-batch

Conversation

@klemens-morgenstern
Copy link
Collaborator

No description provided.

@klemens-morgenstern klemens-morgenstern merged commit 2a41d0a into develop Oct 22, 2025
19 of 25 checks passed
@klemens-morgenstern klemens-morgenstern deleted the win-no-batch branch October 22, 2025 04:43
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