Skip to content

Conversation

@gwleuverink
Copy link
Collaborator

fixes a small oversight on my part. Will merge this in immediately since the earlier one was accepted

@gwleuverink gwleuverink merged commit 1dafd3c into main Jan 7, 2026
28 checks passed
@simonhamp simonhamp deleted the fix-system-path branch January 20, 2026 16:37
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