Skip to content

Conversation

9999years
Copy link
Owner

@github-actions github-actions bot added the patch label Oct 14, 2024
@TheGiraffe3
Copy link

Looks like that pull request has been closed.

@9999years
Copy link
Owner Author

@TheGiraffe3 Yeah, I think I can fix this to work without the upstream PR, but I haven't looked into it too much yet.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants