Skip to content

Conversation

magik6k
Copy link
Collaborator

@magik6k magik6k commented Aug 8, 2025

This PR has some fixes:

@magik6k magik6k requested review from snadrus and LexLuthr August 8, 2025 20:26
@snadrus snadrus merged commit 765b0df into main Aug 9, 2025
17 checks passed
@snadrus snadrus deleted the fix/magik-fixes branch August 9, 2025 00:07
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.

2 participants