Skip to content

More changes suggested by JETLS#1971

Merged
joa-quim merged 1 commit intomasterfrom
JETLS-fixes-new-2
Mar 16, 2026
Merged

More changes suggested by JETLS#1971
joa-quim merged 1 commit intomasterfrom
JETLS-fixes-new-2

Conversation

@joa-quim
Copy link
Member

No description provided.

@joa-quim joa-quim merged commit 6f79b90 into master Mar 16, 2026
1 of 7 checks passed
@joa-quim joa-quim deleted the JETLS-fixes-new-2 branch March 16, 2026 19:57
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