Skip to content

Conversation

@nichmor
Copy link
Contributor

@nichmor nichmor commented Sep 11, 2025

closes:
#4154

@tdejager
Copy link
Contributor

Great seems to fix it for me! :D

@nichmor nichmor marked this pull request as ready for review September 12, 2025 07:26
@tdejager tdejager merged commit 7a54da1 into prefix-dev:main Sep 12, 2025
38 checks passed
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